Documentation: tighten dependency for git.{html,txt}