On Sat, Aug 17, 2024 at 11:36 AM David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
> I don't really object, but I think a better aim would be to merge
> CFbot with CF so that we could get to those places from the CF entry.
Ack. Some progress is happening on that front, working with Jelte and
Magnus off-list...