Re: HTML format documentation

[Akim Demaille]

I forgot to say that if the user wants such magic stuff, we can
document how to write the proper config.site which does that.  I am
personally against having configure encode such things, it should be
entirely under the control of the user.