Hmmm, things that are a bad idea: letting WordPress create a URL that includes an emoji. I realised just after I’d pressed Publish. Thank goodness for a .htaccess redirect.