Make sure the zip file of docs extracts to the expected name

12 months ago, Gary Kramlich