drawio version: 13.6.2

Release date: Aug. 8, 2020