2 ms·

Using tabs would remove 75% of the file size due to spaces; and make it readable for people who prefer 2 space indenting...