#13 Improve or replace auto-indent.js