Der Github Issue ist noch da. Es ist #599. Er ist wohl in der Liste auf die nächste Seite gerutscht…
Ich muss zugeben, es widerstrebt mir ein bisschen harnkodiert eine Währung einzufügen. Andrerseits hat sich der Wechselkurs ja schon lange nicht mehr geändert. Ich habe es noch mal nach “oben geschoben”.