Plugin conflict with Leaflet Maps Marker & Maps Marker Pro

Hi guys,
can you please have a look at the following git issue: https://github.com/ckeditor-for-wordpress/ckeditor-for-wordpress/issues/8
Would be great if there were a fix for this issue soon, as multiple customers of mine are also using your plugin and the current workaround to be able to edit maps is to disable your plugin only.
thx,
Robert

https://wordpress.org/plugins/ckeditor-for-wordpress/