It probably made a lot of sense to include the headers' synopses in the
files themselves back when libc++ was first being implemented, but we're
a more connected world a decade on. It's very easy to look up synopses
using wg21.link, and we've also got cppreference, which is a
well-maintained wiki.
The synopses are essentially repeating a lot of the code, and they're a
maintenance burden that has plenty of evidence showing that they're not
always well-maintained. With our transition to more fine-grained
headers, it's also possible to consider these additional headers like a
synopsis summary.
As such, it's not really clear who the header synopses serve, except
maybe Big Storage (not really: we're only saving a little under 614KiB).