Export Portal schema and move to another db

OK, so I admit this is very esoteric, but if you ever need to move a Portal schema by using export/import (e.g., you are changing database operating system), you may run into this problem... (I'll try to put up a more comprehensive "how to" later, bu...