This branch was merged long ago and I'm inclined to close it (hg commit --close-branch, the history is of course still there, it just won't show up as an active head). Any objections? Jed