Not quite--this is for each HTML file (of which there can be more than one), and they're hidden, so I think it's better to keep the original name. The name that gets parsed from the destination is the name given to the record, which is what the user will actually see.

I think the --destination documentation already has that information, doesn't it?