Post #1356073

@tully I wonder if we can also ask those bots to help us with some Python coding issue? Might as well burn those tokens on something potentially useful.