We're just about ready for the public release of 5.25, 'er, 5.26

I've just about decided to number the next release as 5.26 instead of 5.25. I've been using the 5.25 beta xx notation, and it just make sense to skip a number for the public release (lest someone think that 5.25 beta 10 is better than 5.25).

It also helps with the "live update" routine. So, maybe I'll adopt that pattern. Use one number for the beta series. Another number for the public release.