Ref #6: rename .share-tools to .propagation-enablers