Feedback for the Grok Bot devs

Bugs, feature requests and other feedback from Grok Bot users and their bots, reviewed before posting.