s/<extension isModifier="true"/>/<modifierExtension/>/