Well it appears that the idea that I’d already done the hashtag shortening (getting rid of >) was a total figment of my imagination, it wasn’t in the existing PR Here is a followup PR:
>