Xue Fuqiao wrote:
> IMO a file named HISTORY should be something like
> these:
>
> *https://www.gnu.org/savannah-checkouts/gnu/autoconf/manual/autoconf-2.69/html_node/History.html#History
> *https://www.gnu.org/software/texinfo/manual/texinfo/html_node/History.html#History

Thanks for the suggestion; I installed the attached patch. More history could be 
written, but one step at a time.