Remove GNU/Linux from the TODO