This is the only place were Dolphin internal files refer to "Dolphin" as "Dolphin Emulator" rather than.. "Dolphin". I still find the "Dolphin Emulator" branding dumb for anything other than SEO (and even then it's somewhat dubious IMO). Other people might disagree on its usefulness, but either way it's still inconsistent.