5 ms·F3 was Reveal Codes, iirc.by colton36 15y agoF3 was Reveal Codes, iirc.jroseattle 15y agoDuly noted. Wikipedia says the actual keys were Alt-F3. Seems forever ago.