drawio version: 9.1.3

Release date: Sept. 14, 2018