Data.List.Nodup (mathlib4#1456)

Stream: mathlib4

[Johan Commelin]

https://github.com/leanprover-community/mathlib4/pull/1456/files#diff-ee82c3db131ae546e1a3e3f950b790839af469f1e8bd41fdf86965a22b3d96e5R362
is a comment that is > 100 lines long. And I have no idea what to do with it.

[Jihoon Hyun]

I just erased those comments on PrettyPrinter errors at SetTheory.Lists as they are really about errors on printers, and is not directly related to the source, I believe.