Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
188.8.131.52: make COPY-PPRINT-DISPATCH have access to a pristine table
...so that it can always be used to restore the original.
Also add missing NEWS entry for last commit.