post from @mdosch on 2019-07-29 21:35:32 -0700
@leo maybe my #xmpp bot is doing something wrong, but everything else works.