drawio version: 13.3.1

Release date: June 23, 2020