8.2beta1 and website updates

I've just committed the changes to the PostgreSQL website announcing 8.2beta1. It'll take a short while before it replicates to all our mirrors, but the files are already available from the download site.

While hacking the website today, I've also made two other changes. First it's yet another attempt to make the new techdocs code do what it's supposed to do - by allowing code tags, and by forcibly stripping forbitten STYLE attributes that appear to sneak in now and then.

Finally, the interactive docs section now requires a community login before you can post comments. This is yet another attempt at getting rid of the insane amount of commentspam we're getting on those these days. Let's hope it works for those, but does not make it too much of a hassle for the users that want to contribute. This update will take a bit longer, because we don't update the docs section of the site as often as the rest.