CKEditor - cannot drag and drop the first inserted image from media library and JS error is thrown

Steps to reproduce

1. Follow the steps here https://www.drupal.org/docs/8/core/modules/media-library-module/embeddin... to enable embedding media library images in CKEditor.
2. Create or edit a page, and in CKEditor open the Media Library and select/upload an image.
3. Once the image is embedded, select it - it should have border with a grab handle (crosshairs) top left.
4. Click the grab handle and drag to another location in your content - nothing happens.
5. A JS error is generated:
   

Note that:

• If you embed more images, you can drag and drop these using the drag handle.
• If you cut the first image, and paste it back in again, then you can drag and drop it using the drag handle.

This appears to be a known bug in CKEditor 4.14.0 - see https://github.com/ckeditor/ckeditor4/issues/3926. I was using a recent version of Chrome (version 81.0.4044.138) on a Mac (macOS Catalina 10.15.4).

Temporary workaround

It may be possible to patch as suggested here - https://github.com/NogaMan/ckeditor4/commit/d4375ba140d8964361014153884e... - but this would need to be applied to an un-minified build of Drupal's core ckeditor.

Just as a quick verification, I attempted to do this on the optimised/minified version (in core/assets/vendor/ckeditor/ckeditor.js). Obviously I wouldn't recommend anyone actually doing this. I replaced if(!c&&!d){var f=this.editor.editable(); with if(!c&&!d&&d!==0){var f=this.editor.editable(); and replaced (!f&&0<b.widgets.selected.length) with
(!f&&f!==0&&0<b.widgets.selected.length), did a cache rebuild and it seemed to work.