I'm OK overriding python-font-lock-keywords and removing the
highlighting of "input", but I wonder whether it's better to go the
other way.

I've taken the second approach in the km/rx-builtin branch, if you
want to test it out and see how you feel about the additional
highlighting.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.