If you install a non user/* application, you have either done it through red-pill mode or apt-get. I think red-pill will warn you.

Regular users don't install non user/* applications probably, so there is reason to Henrik's madness Now I have taken a closer look and evaluated all the options, I agree with him that this is the best solution for now. How inelegant it might be.