Linux related#55

tanneberger wants to merge 5 commits intooldlf-lang/lf-lang.github.io:oldfrom

linuxlf-lang/lf-lang.github.io:linuxCopy head branch name to clipboard