Check edge cases in filenames

[tripu]

The first line on a manifest is considered the main HTML file of the spec, and it'll be renamed Overview.html regardless of its original name.
What if there is an Overview.html anyway further down on the manifest?

Does it get overwritten? Does it throw an error?
We should make sure we catch that (ban that particular filename, except for the first file listed, I guess).