I'm not sure we'd need these. I'd rather have the dev guide on the website amended than having generated documentation (which is usually useless).

Any reason in particular why you're adding this?