The same applies to the git repo information and samples.  These need only be described once.  We already did this for the main manual; if it needs to be used here as well, we could just reuse the other page(s).