drawio version: 13.3.5

Release date: June 28, 2020