An author described a new insect species in a doctoral thesis, back in 1986. The document is now available as a downloadable PDF, but only since 2019. Another taxonomist described a new species based on the same specimens (type specimens) of the previous author, mentioning that the specimen label bears ‘n.sp.’, species name, the name of the previous author, etc., but apparently without knowing about the above doctoral thesis at that time.
Which name should take priority? (In my opinion, it is the first publication, i.e. the doctoral thesis, I see no contradiction with the Code).