My F3 key died. I do not suspect HW problem, since it happened while I installed an alternative Search program (what are the odds that F3 would die, and just at that time?).
I uninstalled the program and restarted, F3 is still dead.
Help with fixing the problem by hand is more than welcome! Since I took a restore point just before installing (glad I'm cautious) I could solve it that way, but I'd like to learn to do it the hard way. I suppose it involves digging in the registry.
When testing the keyboard input with help of passmark keyboard test ( http://www.passmark.com/products/keytest.htm ), it turns out that F3 sends the wrong key code:
F1 F2 F3 F4 Windows Key code 112 113 177 115 BIOS Key code 59 60 0 62
Now I need to find out how the key code got remapped.