Comment on Ask HN: After "@" and "#" it's time to add a new symbol?parent