4 ms·

Yes, they could have just listed examples and done without the “holotype” term. I don’t think it detracts from the point of the post, though.