Your tool looks great! Thanks for the suggestion, though for now I am not making any branding or naming changes atm. Also want to be clear I am dev-docs, so maybe it makes sense to change my username here.
https://github.com/freeCodeCamp/devdocs (9 y/o, 30.7k stars)