Unofficial!  Some code to scrape doc and create files used by l1sp.org.