File-level and library-level documentation for src/lib/*