Thanks for that suggestion, Johsua. Sorry I didn't get around to doing anything about it until now. I went away in July and when I got back I was distracted by other things, such as work.

Anyway, it turned out that the answer I'd found before had indeed been on this forum. I failed to find it again using the forum search, but I just tried a Google search of "site:internettablettalk.com" and there it was.

http://www.internettablettalk.com/fo...ad.php?p=41949

Commenting out the line "<MENU> = 117" seems to get rid of the unwanted pop-up menus. It also seems to mean, oddly, that F12 is no longer mapped to the power button, but that's a minor inconvenience.

Thanks again.