drawio version: 8.8.3

Release date: June 19, 2018