Specimen Search How-To
Specimen searches on https://pteridoportal.org/ for genera and species will capture the specimens labeled by all synonyms of the child taxa, but searches at ranks above genus won’t. So a search for Dendrolycopodium will return all the species that the thesaurus has under Dendrolycopodium, even if the specimen has another name on it, such as Lycopodium.