According to Wikipedia, Intel-based Mac always and only used EFI:

https://en.wikipedia.org/wiki/Unified_Extensible_Firmware_Interface#Platforms_using_EFI/UEFI

We're already in a <div> that is only displayed for Macs.

Otherwise we won't get enough information from them.

Otherwise we won't get enough information from them.

I'll need that to be able to move the boot instructions for PC out of a
toggle and always displayed: for them to be hidden for Mac and visible
for PC, they have to be entirely inside an HTML tag. Until now it was
not needed only because we used a toogle who switch was itself only
displayed for PC.

Having dedicated inlines should make the code cleaner.