drawio version: 12.9.3

Release date: March 25, 2020