I have been using Horde Webmail edition with Postgresql for the longest time. I'm in the process of migrating servers and considering dropping Postgresql in favor of MySQL. (I'm very happy with Postgresql but unfortunately there are too many applications that will only work with MySQL and I try to avoid running/maintaining both.)
What would be an elegant way to migrate the Horde database (users, calendars, etc) from Postgresql to MySQL? Is there anything better than dumping the database, fixing the syntax and importing again?