I realize this is in the original code, and removing it would break a whole lot of cache now (and is completely unrelated to this PR), but can someone tell me why we replace tabs with spaces here?  That seems kind of counter-intuitive, so I'm trying to wrap my head around it.