[Editor] Affected of "Full-Stop With Double-Space"

[marcello-moenkemeyer]

Currently, the editor is affected of the [activated] "full-stop with double-space" shortcut.

As an example for how unwanted this is: It added periods after annotations, thus making them invalid. It took me hours of troubleshooting to finally catch it and distinguish it from space-dots.

(Irrelevant) System Information:

macOS version: macOS Catalina 10.15.7
Userscripts version: 2.2.1
Safari version: 14.0.2

[quoid]

Thanks for the report. I admit to never having that setting enabled.

I will try to get this resolved for next patch update.