Go over metrics docs and replace references to gitweb with those to Gitlab and move missing code if needed
We see Gitlab as the canonical place for metrics code nowadays, yet at least a bunch of docs still point to Gitweb (and it's not clear whether there are still code bases git.tpo-only).
We should go over our code and docs to make sure Gitlab is indeed seen by all of that as the True Location.