drawio version: 8.5.15

Release date: May 1, 2018