== Unnecessary revert == 

 I agree that "in principle anything in the lead section should be explained in the main text", and it does. 
 However, it does not mean, that every single thing in the main text should be mentioned in the lead section. 
 The idea in which a term for a part of something can sometimes refer to the whole of something can be understood by anyone without a "clever" Latin phrases. That is why I find "pars pro toto" unnecessary in the lead section.