Guix, Ricardo,

Someone in #guix noticed a thing:

  <puoxond> There are no logs for this channel after 2019-04-04.

And it's true[1].  Did a bot die?

Kind regards,

T G-R

[1]: https://bayfront.guixsd.org/.well-known/logs/