While those two keys are mostly used for "page up" and "page down" functions, they might as well be used for something else in the future, and I think it'd be better to have consistency. However, in the emulator, both PAGEUP&F3 and PAGEDOWN&F4 should map to F3 and F4 respectively - to preserve backwards compatibility and keep it usable =)
[x] Rename keys everywhere in the codebase/docs
[x] Tweak the emulator so that both old and new keys are united into F3 and F4
While those two keys are mostly used for "page up" and "page down" functions, they might as well be used for something else in the future, and I think it'd be better to have consistency. However, in the emulator, both PAGEUP&F3 and PAGEDOWN&F4 should map to F3 and F4 respectively - to preserve backwards compatibility and keep it usable =)