2024-06-02 UTC
# pcarrier[d] OK, I must be missing some subtlelty as to why Discord delete-and-create is better than Discord rename. strike my last 2 messages. feels like we're bike-shedding by coupling orthogonal concerns (how to do short-lived channels in Discord and which short-lived channels should exist)