Ah, I see. Thanks for the explanation.
Well, IMHO, it is really not about number of keystrokes but default behaviour. One usually expects `index.html` to be present in a website by default, and most web-browsers expects index.html to be the starting point (not sure if this is standard). So, it is not all unreasonable to expect `nim doc` that generates `html` by default is to generate an `index.html` file by default. My two cents.
