drawio version: 13.1.1

Release date: May 12, 2020