On 7/25/2025 6:35 PM, Timo Rothenpieler wrote: > The problem is changing it now might de-auth everyone who already signed > in via Github. Though better now then later, might force a few people to > sign up a second time. I think it should be done sooner rather than later, yeah. - Derek