This is more of a question for the wider audience: I wonder if we should retroactively update these...  It certainly was correct *at the time*.  In this specific case, it probably doesn't matter, but for someone considering updating from 0.1 to 0.2, when 0.3 is already released, this kind of thing could add confusion.