Ah, I am on mobile and so could only compare the number of open issues immediately and assumed because that number matched that they all did. Then I agree it’s certainly handmade.

It would be cool if it made use of the GitHub API to get the data. Doing so should be possible, the GitHub API gives access to a lot of data about repositories. For example, here is a static page I made that pulls some data from the GitHub API so that I don’t have to keep the HTML data for the table at the bottom of the page manually updated with what repositories exist in the GH org it belongs to and thanks to that I also have the number of open issues right on the page: https://dcp-solved-with-rust.github.io/