koodieditointi.html sivulla muokkasin navigointiskriptiä sopivaksi uudelle kaikki-vaihtoehdolle. Samanlainen logiikka pelittää myös Linux.html sivulla.