I think we need to be viewing and cleaning up those files by hand before committing regardless of our indent "rules", but I'd be fine with a 2-space indent since that's what the tools seem to prefer and the files aren't edited very often.