- Simplify cloning instructions
- Get rid of gitlab warning about repo not ending with .git