[ale] Separate /opt partition

[Grady Harris]

Fixing to do a clean install for upgrading Ubuntu. I'm finally going
to set up /home as a separate partition, & think I might as well do so
for /opt, as well, since there a half-dozen or so applications I
always install that aren't in the repositories, such as oXygen &
Komodo Edit.

When I started messing around with Linux in 2000, I saw fairly
frequent mention of this. Don't recall seeing much mention of
separating /opt lately. Is that because folks are just using
applications via their distributions, or because there's a better
practice than separating /opt?