linter.fugue.exactBy

exact by tac opens a tactic block to prove a term inside the exact tactic — a tactic proving a term proving a tactic. Drop the wrapper and run tac directly.