If you think there is a good spot to put it in the sympy-bot file, that's fine. Otherwise I think it'd be alright here.