Yep, and many of us who grew up in the DOS era promptly switch them back to F-keys the way IBM intended (but really mostly because muscle memory is a thing).