Table of Contents always after copying section in html output

Hi,

Since upgrading to texinfo 7.0.3, when rendering html, the table of 
contents always appears after the copying, even if instructed differently.

Thanks

Hilaire

See https://cuis-smalltalk.github.io/TheCuisBook/index.html

 From source:

\input texinfo @c -*-texinfo-*-
@c %**start of header
@include ../bookSettings.texinfo
@include copying.texinfo
@c %**end of header

@titlepage
@title The @cuis{} book
@subtitle Introduction to Programming with Smalltalk
@* @* @* @*

@alanQuoteAboutCuis
@author @writers{}

@iftex
    @page
    @vskip 0pt plus 1filll
    @insertcopying
@end iftex
@end titlepage

@iftex
@shortcontents
@contents
@end iftex

@node Top

@ifnottex
@alanQuoteAboutCuis

@*

Cuis is a free Smalltalk-80 environment with a specific set of goals:
being simple and powerful. It is also portable to any platform, fast
and efficient.
@*

You are reading the Cuis Book!

@top Table of Contents
@insertcopying

@end ifnottex

@menu
* Preface::
* Beginnings::
* The Message Way of Life::
* Class - Model of Communicating Entities::
* The Collection Way of Life::
* Control Flow Messaging::
* Visual with Morph::
* The Fundamentals of Morph::
* Events::
* Code Management::
* Debug and Exception Handling::
* Sharing Cuis::
* Documents Copyright::
* Summary of Syntax::
* The Exercises::
* Solutions to the Exercises::
* The Examples::
* The Figures::
* Spacewar! Source Code::
* Indexes::
@end menu

@tex
\global\parskip=0.5em
@end tex


@c================================================================
@c Preface
@include chapter-00/contents.texinfo
@c================================================================
@c:Part One
@c @part Part One @*The basis of @cuis{}
@c
@include chapter-01/contents.texinfo
@c
@include chapter-02/contents.texinfo
@c
@include chapter-03/contents.texinfo
@c
@include chapter-04/contents.texinfo
@c
@include chapter-05/contents.texinfo
@c
@include chapter-06/contents.texinfo
@c
@include chapter-07/contents.texinfo
@c
@include chapter-08/contents.texinfo
@c
@include chapter-09/contents.texinfo
@c
@include chapter-10/contents.texinfo
@c
@include chapter-11/contents.texinfo
@c================================================================
@c: Part Four
@c @part Part Four @*Appendices
@c Copyrighted document used in the book
@include copyrights.texinfo
@c Summary of syntax
@include syntaxSummary.texinfo
@c List of exercises
@node The Exercises
@appendix The Exercises
@listoffloats Exercise
@c Solutions of exercises
@include chapter-50/contents.texinfo
@c List of examples
@node The Examples
@appendix The Examples
@listoffloats Example
@c List of figures
@node The Figures
@appendix The Figures
@listoffloats Figure
@c The Spacewar source code
@node Spacewar! Source Code
@appendix Spacewar! Source Code
In the raw source code below, understand the ``_'' character as 
``@assign{}''.
@smallformat
@verbatiminclude ../Spacewar!.pck.st
@end smallformat
@c Indexes
@node Indexes
@appendix Conceptual index
@printindex cp
@c================================================================
@c: To be filled


@c:END OF THE BOOK
@bye

-- 
GNU Dr. Geo
http://gnu.org/s/dr-geo/
http://gnu-drgeo.blogspot.com/