I just found a non-trivial bug that made it into 3.1. Should we perhaps hold off on anything really new for a week or so and then release 3.1.1 as a bug fix release? In future we may want to do this in advance of a release, or alternatively do a branch. S.