renamed pre to pre-elements to be more clear that it is a list of HTML sub-elements extracted from the <pre> element (of a comment/description)