Pressing space sometimes inserts two spaces

[nikkiwd]

An example that I can reproduce in multiple Chrome-based browsers:

• Open https://qlever.cs.uni-freiburg.de/wikidata/ugfCPp
• Position the cursor at the end of the query
• Press space