Out of the comments generated
by a post by grink,
I've learned that the location of the distribution's repository
can be inserted in the
And when grink asked if someone could come up with a Greasemonkey
script to extract that information and show it on the distro's
page... well, that's no simian fun I could let pass untackled.
resulting greasemonkey script can be found