<JS1K> Language details in the index