In many PDF creation workflows—especially those originating from Adobe Acrobat Distiller or professional publishing software like Adobe InDesign—the labels "F1," "F2," "F3," etc., act as or aliases.