Run of fresh-snapshots for gmp-doc

Try this locally (using silver-platter):

debian-svp new-upstream --snapshot gmp-doc 

Full worker log