Comment by pjmlp

ISO has to care about much more platforms than just Linux.