chore(scripts): update nolints.json (leanprover-community#36967)

I am happy to remove some nolints for you!

Author: mathlib-nolints[bot]

scripts/nolints.json

@@ -22,7 +22,6 @@
  ["docBlame", "Ctop.inter"],
  ["docBlame", "Ctop.top"],
  ["docBlame", "DilationEquiv.toDilation"],
- ["docBlame", "EqualCharZero.pnatCast"],
  ["docBlame", "EsakiaHom.toPseudoEpimorphism"],
  ["docBlame", "EuclideanDomain.wellFoundedRelation"],
  ["docBlame", "ExceptT.callCC"],