Crepis nana versus Askellia pygmaea in North America

Is anyone able to comment on the status of the change in North America to Askellia pygmaea from Crepis nana, please?
The on-line version of Flora of North America still lists Crepis nana, with no mention in the account of any synonymy with Askellia pygmaea, and at the same site, Askellia pygmaea is only found in the on-line Flora of China. Yet, VASCAN, the apparent authority for taxonomy for Canada, shows Askellia pygmaea as the accepted name for what was previously known as Crepis nana in North America:

The Catalogue of Life taxonomy site indicates that the two names are synonyms, with Askellia pygmaea being the accepted one:

The list of species here at iNat lists both.