a few more js.html aliases