drawio version: 13.0.6

Release date: May 3, 2020