drawio version: 13.4.7

Release date: July 19, 2020