Linux documentation.

Also contains two small fixes for compiling-with-git.md, but whatever.
Some typos:
- `you have should guarantee`
- `in order fo`