And, of course, there was a time when the website did "link prominently to this repository" — back before July 2020, when "new source-code was usually measured

And, of course, there was a time when the website did "link prominently to this repository" — back before July 2020, when "new source-code was usually measured and shown on the website within a few days."