Comment 8 for bug 96676

Of course, since vte is an xterm emulator, that means that doing what xterm does is 100% correct.

Thus the fault lies either with the terminfo database for claiming that Shift-F1 is F13 is \EO2P or with MC for thinking that Shift-F1 is F13.