The legacy extension module name still works.  But if the intention is to deprecate the old module, then wouldn't the 2nd step be to use the new module name in the WF config files?