Looks to me like that's pretty much what it was intended for. If you
simply do the modifications to the user.js file like George K. pointed
out, it's simple to undo if you don't like it.
Thanks for your post, Peter. I thought it entirely appropriate:
on-topic, helpful, friendly. Besides, I missed the original myself.
Wish more posts were like yours.
(Fourth language? I feel inadeqate. The post had problems, but I
understood it. I wish I could express myself even that well in a
_second_ language.)
