bookmarklet:yet another stupid numeric character reference ...