DevelopersActivity: Merge developers and thanks

no difference between developers and those to be thanked