Cannot enter # in REPL on Macbook Pro w. UK keyboard

On a Macbook Pro with UK keyboard, the '#' key is Alt+3 (or should I say, Option+3)

In the Python edtior REPL I can paste a '#' from somewhere else but I cannot type it. @microbit-giles confirms this is also true on his Macbook.

I also cannot type '£' which is shift+3

Beginne damit, das Problem in der Python-Editor-REPL auf einem MacBook mit UK-Tastatur zu reproduzieren, und teste Option+3 für '#' sowie Shift+3 für '£'. Verfolge die Tastaturverarbeitung der REPL und betrachte die Arbeit als abgeschlossen, wenn beide Zeichen direkt statt durch Einfügen eingegeben werden können.

Vom Indexierungsmodell aus dem Issue-Text verfasst.