Should I include that in `sympy-bot` file?