be056331f7
Dev profiles (name ends in -dev) get 'Doctate (Dev)' in the launcher; production profiles keep the plain 'Doctate'. The string resource @string/app_name is no longer the application-level label, only used for the complication entry where the launcher distinction is irrelevant. refs #3