Collaborative playing

[zarf (Andrew Plotkin)]

A Discord bot (thread) is available. I still haven’t decided whether or how to keep it running permanently, though.