Keep the old 'pu' branch for a while

Since I included a reference to a commit on the 'pu' branch
in a comment to a blog post, make sure that this commit
does not get gc:ed away.

The R13B03 release.