The goal of these changes was to make the distinction between Extensions and add-ons more clear. * Extensions -> Get Extensions * Separate Get Extensions from Add-ons and Themes * Add Tooltip for Get Extensions, Add-ons and Themes Co-authors: * Pablo Vazquez <pablo@blender.org> * Brecht Van Lommel <brecht@blender.org>