drawio version: 9.4.2

Release date: Nov. 13, 2018