drawio version: 13.3.7

Release date: July 2, 2020