chore(Tactic/Linter/Style): check declIDs

[mo271]

---

[github-actions]

PR summary c96272ea16

Import changes exceeding 2%

%	File
+100.00%	Mathlib.Tactic.Linter.Style

Import changes for modified files

Dependency changes

File	Base Count	Head Count	Change
Mathlib.Tactic.Linter.Style	1	2	+1 (+100.00%)
Mathlib.ModelTheory.PartialEquiv	1034	1035	+1 (+0.10%)

Import changes for all files

Files	Import difference
There are 4860 files with changed transitive imports taking up over 199446 characters: this is too many to display!
You can run scripts/import_trans_difference.sh all locally to see the whole output.

---

Declarations diff

+ checkDeclIDLinter:
+ contains_double_underscore
+ double__underscore
+ getNames
+ toEmbeddingOfEqTop_apply

You can run this locally as follows

## summary with just the declaration names:
./scripts/declarations_diff.sh <optional_commit>

## more verbose report:
./scripts/declarations_diff.sh long <optional_commit>

The doc-module for script/declarations_diff.sh contains some details about this script.