drawio version: 13.5.6

Release date: July 30, 2020