Extension:HeadingNumberOverride