It would be nice to be able to set custom characters for #522, or at least have a toggle to use ASCII/non-emoji fallback ones.