various JS de-lintings