docs: function safegetzipfile(zip, file) {
  	var k = keys(zip.files);
  	var f = file.toLowerCase(), g = f.replace(/\//g,'\\');
  	for(var i=0; i<k.length; ++i) {
  		var n = k[i].toLowerCase();
  		if(f == n || g == n) return zip.files[k[i]];
  	}
  	return null;
  }