New strip-export noweb header argument value