Sounds like a good plan to me, too - if someone's tested AOLserver 3.3+ad13 and PG 7.2.4 on RedHat 9, that is (we want to make sure the migration goes smoothly)
I may be doing that myself in the next few days on my new machine but no promises at this point.
