Hi, just downloaded the "html-compressed" version of elisp manual. Trying to extract got a filename conflict - the "main" html index and the "document" index are both named "index" (in different case) and my zip app (7-zip) doesn't like it :(

Tnx,

Nir