tiny change to remote branching in documentation.html