drawio version: 13.3.4

Release date: June 24, 2020