Yes, but pretty printed doesn't preserve line numbers. Maybe we need a vote?