I'd appreciate feedback. (I don't promise to be bound by the majority view, though.)
I seem to recall in the past that they did patch releases. From both a tagging purity point of view and reproducability point ov view, why not create a branch off 4.0.2, apply the fixes that were missed, tag it as 4.0.2.1 and release that?
Kean
