drawio version: 9.3.1

Release date: Oct. 26, 2018