We should just call it JS. That way the filename extension still makes sense.