The lens profile is intend for use with Raw files. It will not be visible if your file is non Raw (i.e. JPEG, TIFF, PSD).
I'm sorry but that doesn't fit, because the profile for that lens was on the list prior, plus my two other lens still show up and work in the develop mode. It's the same issue with RAW or JPG.