Re: HTML format documentation

[Richard Stallman]

    Call it what you will, but that's explicitly what I mean -- a variable
    that will provide a prefix where all installation activities will occur
    but which will be invisible (i.e. not used) during run time.

This sounds exactly the same as what exec_prefix does now.
I see you THINK you are proposing a change that would have some benefit,
but I do not see the benefit.

How about if you simply state *precisely* and *clearly* what change
you are proposing?  Then I could at least consider it.