BTW, I realized why that character in the title got munged the first time it was tweeted — it’s fixed now.