I'm looking to

alias

a provider (didn't run into this few days ago with a different project which is strange). Currently using

default_5_42_0

and want to switch to an explicit provider (let's say

management

). But that gives an error:

pulumi:providers:aws (default_5_42_0):
    error: Duplicate resource URN 'urn:pulumi:prod::accounts::pulumi:providers:aws::default_5_42_0' conflicting with alias on resource with URN 'urn:pulumi:prod::accounts::pulumi:providers:aws::management'

Is it required to delete the current provider first? That leads to more issues as there are a few resources created from that provider