Standard library or original for TerminalMenus

I would assume that development to nick-paul/TerminalMenus.jl is basically done now that it’s in the stdlib. It has the unfortunate side effect that it can’t really be changed much anymore, though.
I commented on the issue you mentioned, since I have an old PR up that adds your desired behaviour to the stdlib version.