drawio version: 13.0.7

Release date: May 5, 2020