a copy of mozilla/doctorjs