Choice options are no longer correctly highlighted

Since moving to the Monaco Editor choice option lines aren't coloured correctly:

This is a regression over the old CodeMirror syntax colourings.

Beginne damit, die Monaco Editor-Integration und die für die Zeilenfärbung der Auswahloptionen verantwortliche Konfiguration zu lokalisieren, und vergleiche sie dann mit dem früheren Verhalten der Syntaxfärbung in CodeMirror. Reproduziere die falsche Hervorhebung im Screenshot und bestätige, dass die Zeilen der Auswahloptionen in Monaco korrekt eingefärbt werden, ohne die Syntax des übrigen Editors zu beeinträchtigen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.