Utfmb4 instead of utf8mb3? (#442)

Tutor
17

after adding "charset": "utf8mb4", to tutor/auth.json at v12.0.1 · overhangio/tutor · GitHub I’m able to set :man_technologist: as my full name. However I don’t see a place to set this for notes

OK should be this line: tutor-notes/tutor.py at master · overhangio/tutor-notes · GitHub

Now I can add “:woman_factory_worker:🧑‍🏭:man_factory_worker::woman_technologist:🧑‍💻:man_technologist::woman_office_worker:🧑‍💼:man_office_worker::woman_mechanic:🧑‍🔧:man_mechanic::woman_scientist:🧑‍🔬:man_scientist::woman_artist:🧑‍🎨:man_artist::woman_firefighter:🧑‍🚒:man_firefighter::woman_pilot:🧑‍✈:man_pilot::woman_astronaut:🧑‍🚀:man_astronaut:” to notes

BTW, when looking into the dumped mysql, I noticed the commands at tutor/local.rst at v12.0.1 · overhangio/tutor · GitHub will dump mysql internal tables like information_schema as well, which may not be desirable. What do you think? I’d be happy to make a PR.