It seems that tagged topics on github no longer list all repositories: https://github.com/topics/julia
Previously, all repositories tagged with a topic would be listed and could be filtered in various ways.
Now, there are only few repositories listed in a seemingly random arrangement… what happened?