"It hadn't even occurred to them that they were permitted to install anything but Windows"

Well, Microsoft certainly would like it, if this would not be the case. And some argue they tried to advance this concept with locking down the bootloader a bit.