drawio version: 13.5.1

Release date: July 22, 2020