drawio version: 12.5.3

Release date: Jan. 14, 2020