Push to all remotes doc.
Small layout improvements.
Add default arguments, name gitlab repo gl, suggest dotfile repo.
Merge branch 'push-release-doc' into 'master'

Push release doc