drawio version: 13.4.3

Release date: July 14, 2020