github: Profile menu enhancements in global navigation

GitHub updated the profile menu in global navigation to make it more action-specific, simpler, and faster to reach common destinations.

• Source: GitHub