Reindent auto/range.html