RawTherapee 5.8 not recognising lens correctly

[paperdigits (Mica)]

There is a conversion script in lenfun’s source code that does the conversion.