I might agree, except that the overboost/doubler/tripler was already not mentioned and it caused trouble later because people (including staff) forgot that it was obsolesced. The lack of mention in the wiki caused this problem in the first place.
An alternative is to remove every reference of overboost/doubling/tripling in the wiki, I suppose, which should be done anyway...but I'm still wary of this happening again with new submissions like it did with the Fuji and the missile article.
Edit: Upon reflection, the Fuji was only so because the Plumeria still had it, so that one would have been resolved by wiki removal, but I don't know about the missile. Maybe we should just wipe out all wiki references to it, and have that be enough...