>> - sometimes many >> small libraries are best expressed in a single file, > > > I think this is fairly rare, and not a very important use case. > If they're small, why should they be separate libraries? The organization of libraries can be done for reasons other than size: purpose, ownership, units of work, etc.