drawio version: 8.9.3

Release date: July 9, 2018