drawio version: 13.0.3

Release date: April 29, 2020