Home, Michael Paquier's general Linux/MacOS home as a GIT repository