drawio version: 13.5.8

Release date: July 31, 2020