should be renamed to just
(stripping the last
) to avoid confusion on the patch level?
i think naming it
is an excellent
idea. the extra
is confusing, and just plain wrong.
.html name signals that it belongs to 4.0.0 and not 4.0.1, 4.0.2, 4.0.3 ...
I think the rename you suggest better tells that this is not an old out date file that someone forgot to update.