drawio version: 9.0.1

Release date: July 31, 2018