I'm so used to manually adding # to tags that I end up with "# #foo" tags with some frequency.
I can't think of significant use-cases where you would want this, so automatically just strippping a leading "#" would be nice.
If only one leading # is removed, people who for whatever reason would want a tag starting with a # like "# #foo", could just type "##foo" while most people probably get a better user experience.
I don't know if you're getting this too, but clicking on a tag starting with # takes me to an error page
Linking to my previous report regarding the same thing :
also automatically remove trailing , from cw