run the Discord bot in Modal

[charlesfrye]

at first, I thought this was not possible because bots needed to be "always on" to respond to events, which didn't jive with Modal's serverless style, so I put it on EC2, but Modal's web endpoints seem to serve as webhooks, which should work

this would simplify the automation a lot!

but even if we can do everything on Modal, it's nice to have trad cloud infrastructure in the repo, even if only as an option among others.

[charlesfrye]

Yes, we can -- if we're willing to switch to a pure webhook style, which means no emoji reacts.