Bij de kevers zou in de lijst https://observation.org/soortenlijst.php?q=Thanasimus&g=16&f=0&type=0&z=0&local=0&local=1&p=0&sound=0&sort_lat=0&all_lang=0&exact=0 achter Mierenrolkever en Schorskevermoorder volgens mij beter synoniem in plaats van 'soort' kunnen staan.
Extra Nederlandse namen zijn geen nieuwe entry in de database, en verwijzen dus ook gewoon naar taxon nummer 18958 met de wetenschappelijke naam Thanasimus formicarius, en dat is een soort, geen synoniem..
Ik begrijp dat de huidige aanpak formeel juist is maar het stuurt niet bij het gebruik van Nederlandse namen. De vermelding synoniem achter een (oude) benaming stuurt waarnemers richting een en dezelfde naam. Het aantal synoniemen is natuurlijk oneindig.