drawio version: 13.1.3

Release date: May 19, 2020