[Backport releases/v4.29.0] feat: add pp.fvars.anonymous option#12744

kim-em merged 1 commit intoreleases/v4.29.0leanprover/lean4:releases/v4.29.0from

backport-12688-to-releases/v4.29.0leanprover/lean4:backport-12688-to-releases/v4.29.0Copy head branch name to clipboard