drawio version: 9.5.4

Release date: Dec. 3, 2018