drawio version: 13.4.1

Release date: July 9, 2020