drawio version: 9.2.3

Release date: Oct. 8, 2018