Note: groups.io will be down for maintenance this evening, starting at 11pm Pacific Time (6am Tuesday 8/3/2020 UTC), for up to two hours.
Gerald Boutin <groupsio@...>
The list of hashtags seems to be smaller than it was previously. Were #misc and #fixed and perhaps others deleted intentionally?
#misc I am OK with losing as it is the same as no hashtag.