I'd still prefer `Manage extensions` to be less repeating