Yea, that would be useful; there's a Python tool that does it for you: https://pypi.python.org/pypi/Reindent