feat(style): avoid nonrec#689

kim-em wants to merge 1 commit intolean4leanprover-community/leanprover-community.github.io:lean4from

avoid-nonrecleanprover-community/leanprover-community.github.io:avoid-nonrecCopy head branch name to clipboard