Tactic extensions do not need to be classified by the STM, as
they never produce a VernacExtend entry.