>> - 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.