simplified terminal/git.html into commands.html