This wasn’t meant to be a support request, just feedback.
Meanwhile, I’ve deleted the file (html/wordpress/wp-
content/plugins/elementor/assets/js/editor.js) as it is not needed – Elementor is using the minified version anyway (editor.min.js).
Hope this could be addressed within the next update, thanks!