I'm thinking it might be more natural to be able to put, e.g.,
"*" instead of "<shift>8" (my keyboard, anyway).
This patch is working for the cases I've happened to try, but
I am not sure that event_text() will necessarily work for everything.
(Last bit of the patch allows binding '<', which is a shifted key for me.)
PS <shift>TabKey doesn't work for me, but it wasn't working for me before,
either.
PPS It would be nice if we could allow multibyte characters.
