This is related to another question about using Progenitus as a Commander, but focuses on a more specific interaction.
In the Commander format, there is a rule that lets a Commander go to the command zone instead of some other zones:
903.9. If a commander would be exiled from anywhere or put into its owner’s hand, graveyard, or library from anywhere, its owner may put it into the command zone instead. This replacement effect may apply more than once to the same event.
Progenitus is a possible choice for a Commander, and it has its own overlapping replacement effect:
If Progenitus would be put into a graveyard from anywhere, reveal Progenitus and shuffle it into its owner's library instead.
By my understanding of multiple replacement effects, the owner of Progenitus will have the chance to determine which of these replacement effects happen in what order any time Progenitus would go to their graveyard. My understanding also indicates that you could make the Commander replacement happen first, and then the Progenitus replacement wouldn't happen because the "put into a graveyard" isn't happening anymore. However, one could also choose to have Progenitus's replacement apply first instead.
Based on Rule 903.9 including "This replacement effect may apply more than once to the same event." I assume that after applying Progenitus's replacement I can replace "Progenitus goes to the library" with "Progenitus goes to the Command Zone"; either the original replacement still applies because the condition had "... graveyard or library", or it applies a second time due to moving to the library instead. Regardless, it should be possible to have Progenitus replace "goes to the graveyard" with "shuffles into the library", and then have "goes to the library" replaced with "goes to the Command Zone".
My question is, if you replace "shuffles into the library" with "goes to the Command Zone", does the library still get shuffled without Progenitus? Or is the entire "shuffle into the library" action replaced?