Reindented and folded file contents.