[high_na_euv]

But when things go wrong, you can usually find some random json file and adjust it :)