Ceylondoc: documentation archives to rename `name-version.doc.zip` #1191