Robby Workman <newsgroups@rlworkman.net> wrote:
>
> /usr is going to be a larger partition, and both /usr and /opt hold the
> same type stuff, so there's not generally a good reason to have both.

On a fresh install, /opt is completely empty. I've been keeping it as
a separate partition, as I said, because I found other uses for it....

- Kurt