drawio version: 9.2.0

Release date: Oct. 3, 2018