So I've migrated a few things to the tracker. The rest was either done,
or obsoluteted. Except for this one:
* Add 8.0 option to pgsql.com/user-gallery/ [Marc]
<-- let's remove the thing instead? ;-)
Marc? Please just delete it, IMHO. It's insanely outdated.
//Magnus