Fix "Contributing to this document" for new HTML/PDF generation process