I actually never checked how far the pen buttons get picked up, but that's an interesting idea if it works from a reasonable distance

.
I won't have time to look into it until the end of *next* week, though

.
@Frenzie: In Nickel, the bottom button is a highlighter (free and converted to actual highlights when it crosses word boxes) and the top one an eraser.
----
As promised, I've just updated the
OCP with today's nightly

.