Simple script to scrape https://www.vergiliusproject.com/
- Use https://www.httrack.com/ to make a mirror of https://www.vergiliusproject.com/
- Use a webserver (caddy) to host the mirror locally
python vergiliusparser http://localhost/path/to/kernel kernel.h