Helper scripts used in published the "development" snapshots of the

Python documentation.