Wasn't <f3> the conventional shortcut for app search back in the DOS days? So it makes sense in a backwards compatible way, while still being an annoying anachronism.