Closed SadieCat closed 1 year ago
These names haven't been relevant in years. They were only used in older versions which are long since obsolete.
I'm okay either way 🤷
If they were separate numerics with a separate format I'd say keep them around for sure. But since they're old aliases for the exact same numeric+format+etc, and the old names are generally pretty close to the current well-used names, I'd be happy to defer to the devs of the server here.
Could you keep references to old names? ircdefs try to be exhaustive, even when documenting deprecated versions (@DanielOaks correct me if I'm wrong)