chore(scripts): update nolints.json (#21587)

I am happy to remove some nolints for you!

scripts/nolints.json

@@ -39,10 +39,8 @@
  ["docBlame", "whenM"],
  ["docBlame", "Action.V"],
  ["docBlame", "Action.ρ"],
- ["docBlame", "AddMagmaCat.forget_obj_eq_coe"],
  ["docBlame", "AddMonoidAlgebra.mapDomain"],
  ["docBlame", "AddMonoidAlgebra.single"],
- ["docBlame", "AddSemigrp.forget_obj_eq_coe"],
  ["docBlame", "AffineBasis.toFun"],
  ["docBlame", "AffineEquiv.linear"],
  ["docBlame", "AffineMap.linear"],
@@ -161,7 +159,6 @@
  ["docBlame", "LinearPMap.toFun'"],
  ["docBlame", "LinearRecurrence.coeffs"],
  ["docBlame", "LinearRecurrence.order"],
- ["docBlame", "MagmaCat.forget_obj_eq_coe"],
  ["docBlame", "MaximalSpectrum.asIdeal"],
  ["docBlame", "MeasureTheory.«term_→₁[_]_»"],
  ["docBlame", "MeasureTheory.«term_→₂[_]_»"],
@@ -256,7 +253,6 @@
  ["docBlame", "RingQuot.toQuot"],
  ["docBlame", "RootableBy.root"],
  ["docBlame", "SchwartzMap.toFun"],
- ["docBlame", "Semigrp.forget_obj_eq_coe"],
  ["docBlame", "Shrink.rec"],
  ["docBlame", "SlashAction.map"],
  ["docBlame", "SlashInvariantForm.toFun"],