Which repo? The one on GitHub? I ceased any activity there a long time ago.
Why are nips on a repo hosted by one of the most censorship-loving companies in the world? And not e.g. on a wiki hosted independently.
I can formalize my proposals into a document when I have time and put it up somewhere if anyone is interested though.