linter.fugue.selectorParens

A goal selector already scopes its tactic block — all: tac₁; tac₂, 1,3: …, all_goals …. Wrapping that block in ( … ) adds nothing. Put the sequence directly after the : (indented on the next line if it spans lines).