Why pollute userspace with non-packaged sphinx?
We should really choose between ```/opt/``` and ```/usr/local/``` but there is no reason to use the userspace.