chore(scripts): update nolints.txt (#16773)

I am happy to remove some nolints for you!

scripts/nolints.txt

@@ -139,24 +139,6 @@ apply_nolint tactic.interactive.traverse_constructor unused_arguments
 apply_nolint tactic.interactive.traverse_field unused_arguments
 apply_nolint tactic.interactive.with_prefix doc_blame
 
--- data/analysis/filter.lean
-apply_nolint cfilter has_nonempty_instance
-apply_nolint cfilter.to_realizer doc_blame
-apply_nolint filter.realizer has_nonempty_instance
-apply_nolint filter.realizer.of_eq doc_blame
-
--- data/analysis/topology.lean
-apply_nolint compact.realizer has_nonempty_instance doc_blame unused_arguments
-apply_nolint ctop has_nonempty_instance
-apply_nolint ctop.realizer has_nonempty_instance
-apply_nolint ctop.realizer.id doc_blame
-apply_nolint ctop.realizer.nhds doc_blame
-apply_nolint ctop.realizer.nhds_F unused_arguments
-apply_nolint ctop.realizer.nhds_σ unused_arguments
-apply_nolint ctop.realizer.of_equiv doc_blame
-apply_nolint ctop.to_realizer doc_blame
-apply_nolint locally_finite.realizer has_nonempty_instance doc_blame
-
 -- data/finset/noncomm_prod.lean
 apply_nolint add_monoid_hom.pi_ext fintype_finite
 apply_nolint finset.noncomm_prod_union_of_disjoint to_additive_doc

scripts/style-exceptions.txt

@@ -2,8 +2,6 @@ src/control/basic.lean : line 9 : ERR_MOD : Module docstring missing, or too lat
 src/control/monad/cont.lean : line 13 : ERR_MOD : Module docstring missing, or too late
 src/control/monad/writer.lean : line 11 : ERR_MOD : Module docstring missing, or too late
 src/control/traversable/derive.lean : line 10 : ERR_MOD : Module docstring missing, or too late
-src/data/analysis/filter.lean : line 9 : ERR_MOD : Module docstring missing, or too late
-src/data/analysis/topology.lean : line 10 : ERR_MOD : Module docstring missing, or too late
 src/data/array/lemmas.lean : line 9 : ERR_MOD : Module docstring missing, or too late
 src/data/bitvec/basic.lean : line 11 : ERR_MOD : Module docstring missing, or too late
 src/data/buffer/basic.lean : line 12 : ERR_MOD : Module docstring missing, or too late