Devel: indent: avoid losing uncommitted changes
... by using find options rather than git checkout to ignore certain files. This is also more efficient.