i bring it up because there was a discussion at some point about whether beehaw as a whole should allow bots. I think the agreement was that some users still find them helpful. I’m just questioning if that is still the case, as the summary doesn’t strike me as particularly useful. But if others disagree, then i have no beef with it.