Toplevel: better indent
Toplevel: rm js toplevels