Related to #6947, but just cleans up the library module doc that already existed (mostly for uniformity). Does not introduce any new doc.