http://savannah.gnu.org/support/?108711
As far as I can see, the fact that the documentation has become proprietary (I guess that's the implication of what he says) makes it imperative that we keep the final version of the free sources available on Savannah. So it seems to me the answer is to do nothing. Karl
