linter.fugue.subscriptSuffix

An identifier's trailing digits read as an index — write them as Unicode subscript digits (B₁, hf₂), not ASCII digits (B1, hf2). Matches the project's own naming (ref₁/ref₂/ref₃, LEAN_STYLE.md's "Name introduced hypotheses in signature order").

fixedWidthNames excepts the standard fixed-width numeric type names, whose trailing digit is part of the name itself (a bit width), not an index — UInt64 stays UInt64.

default := false: the backlog is the whole tree (vc1…vc14, hself0, b1/b2, …) — opt in per file with set_option linter.fugue.subscriptSuffix true, same reasoning sigIndent gives.