Make sure userguide/doc updates get pushed to GitHub. [0]