Mostly tweaks, finalizing

But encoding became a big deal here. Turns out you have to use the utf8mb4
character set, or 4-byte UTF characters can't be used. And MySQL really wants
to use latin1.