[ale] Separate /opt partition

[nolan.voight at gmail.com (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?