Don't name the docs zip file "nozip" (issue 3988)