Well, now I can't see the discord for this thing, so I guess it was closed down or something. Anyway, I think it's pretty clear this is dead as a doornail so I'm unsubscribing.