Should/could we patch defTrees of stdlib definitions as well?

[abgruszecki]

In #10593, I implemented documenting stdlib definitions. Since the doctool reasons based on class bodies, I actually needed to write special-cases for classes in stdlib that we patch.

Question is: should we patch .defTree-s of stdlib symbols as well? We could "just" (?) copy the member definitions from where they are defined.

/cc @nicolasstucki @odersky

[smarter]

Sounds good to me.

[pikinier20]

@romanowski Is it still up-to-date?