(And while we are at it, let's fix the "Sources" link in the footer to point to the right git repo subdir)