If you change your way of documenting tlaplus may I suggest that you
don't make a documentation that requires that one connects online to
The only documentation to which this seems to apply is the
documentation of TLAPS. I intend eventually to replace that with
additional material in the Hyperbook. I trust you realize that the
Toolbox documentation on the Web consists of a copy of its help pages,
put there because help pages aren't going to help someone solve the
problem of the Toolbox not starting.