does @discobot work? I’ve read that one can get a user’s manual from it.
I tried sending it a PM but no es bueno.
Since you mentioned @discobot and nothing happened here in the thread, I’m guessing it’s not currently enabled to auto reply.