Hiyas,
Just noticed the stats on www.postgresql.org aren't running.
Can't remember how to turn them on, but figured that someone would.
:-)
Regards and best wishes,
Justin Clift