drawio version: 13.3.8

Release date: July 3, 2020