remove .opts from $profile, if present, to be more forgiving.
warn if specific manifest fails to be instanciated
Note that if \tag is used in {equation*} (in amsmath) it DOES get the tag as an equation number