Tomasz Torcz - 03.12.23, 08:30:33 CET:
> > I found a separate /usr convenient long ago. My / partition,
> > which contained /usr, had run out of space and there were other
> > partitios beside it, so I couldn't just expand it.
> >
> > The simplist thing wasto put /usr elsewhere on the disk.
>
> That actually the original reason from /usr split from 1971.

Thanks for digging that out. I was aware /usr having been used due to
space constraints at some time, but did not know the specifics.

--
Martin