Installed MariaDB on my local machine, anticipating that it will be set up on the new server, and worked with a dump of the properties db. Stripped it down, removing the views (except for props_abbr, which is a convenience view for the web gui), and did a little testing. Had one problem that took a while to figure out: the dump also included the user which had defined the views (hcmc on lettuce), and this was pulled back into the db and prevented dumping of the stripped-down version; I had to delete the view and re-create it with the properties_admin user as the definer to get around it.

One annoyance: installing MariaDB breaks MySQL Workbench due to dependency issues. I found a workaround for this; installing per instructions on this thread generates a lot of errors, but the app works.