

That does make sense. But like you say it wouldn’t have been common, especially compared to the keyboard being unplugged or not-enough-plugged-to-work
Before USB, I never saw it happen that I was able to press F1 (or other keys asked by other BIOSs).
I haven’t looked into it yet, but my guess is that this is only for new articles, but existing ones defaced by AI can just be reverted.