I still work on a system where it sometimes says to press F17 to do something…
And no, we don’t have the glorious keyboards from that time :( just standard 104s