Time for a new release?

[Colin P. McCabe]

Hi all,

Happy new year!

I think it's time to cut the 4.1 release.  We've fixed up a lot of
bugs, and made a lot of progress since 4.0.1.

If everyone agrees, I'll post something in the next few days.

best,
Colin