ug2html: use ZipFile as ctx manager