Pressing Ctrl+; brings up an emoji picker. Let's document this in the page on typing special characters.
