I’m not sure, but since it sounds like they opened the BIOS just to close it and boot normally, I would assume that they thought of it more as a command than an option.

I’ve seen it a lot since I work in an IT field. Sometimes people think that the computer is telling them to do something when really it’s just giving the option to do something.

You should start some of those communities, don’t let the bystander effect getcha. You’ll get users.