I would have just made PRs, but they haven’t been merging PRs or communicating with anyone trying to contribute on the GitHub repo for over 5 months. I think they’re rebuilding the whole site or at least doing a major rewrite of it.