Comment by Thibaut

Thanks for the idea.

I built a flexible scraper for downloading and filtering the docs so you can except more sources to be added soon.

Toggling docs on and off is also on my todo list.