ParentFull threadc3534l·Doubt it. Hash was a pretty uncommon name for # until Twitter introduced hashtags.View on HN