drawio version: 8.9.5

Release date: July 13, 2018