Edit HOW_TO_USE_GIT and proposal README a bit