drawio version: 8.7.5

Release date: June 5, 2018