I see that some sites are now putting # in front of tags. Is that officially a "thing" now?