[galaxy-dev] how do I migrate accounts from one galaxy to another

I'm sure this has been covered somewhere but I haven't been able to find it on the wiki or by searching the list archives. Can I, and if I can, how do I, migrate all user accounts from a previous local Galaxy development install to a new production one (a brand new install in a separate location on the same machine), preserving account info, workflows, histories, data, etc.?

If this can be done, can it be done selectively, i.e., for only specified users?

Thanks for any help offered,

Dean A. Snyder Senior Programmer/Analyst Center for Inherited Disease Research (CIDR) Johns Hopkins School of Medicine Bayview Research Campus 333 Cassell Dr, Triad Bldg, Suite 2000 Baltimore, MD 21224 cell:717 668-3048 office:410-550-4629 www.cidr.jhmi.edu