drawio version: 12.8.3

Release date: March 11, 2020