Seems like there are 2 different places where the dolphin core can be downloaded from. The regular downloader/buildbot and this link:
In that link there are a few other cores as well, like Desmume. So the question applies for those as well.
Which cores are the ones that should be used? What are their differences?