Comments on notes-computer-gnuLinuxIntro