drawio version: 13.2.3

Release date: June 11, 2020