new file:   convert-mysql-to-postgresql.org