==Comments for future reviews of these pages:
I find the current documentation system confusing. I sometimes am not sure what part of the doc I am looking at (i.e. where I am situated in the documentation tree) or why a page has been duplicated (until I realize that it is the same doc, just shown in the context of a higher node in the documentation tree).
The truncated documentation tree on the left is particularly difficult to process. Especially when searching through the documentation because it starts of "fully collapsed", the you have to go to the right side to click on something to drill down, then the left side rearranges itself in a completely nonobvious manner. It's like being in "The Cube" really.
Case in point, if you "comment" on something, you may well comment on a "level too high" because on the left side you just see the collapsed tree with "Chapter Foo" at the top and the right side you have the full text for "Chapter Foo" and "Chapter Foo.1", "Chapter Foo.2" etc. etc., so your comment about "Chapter Foo.1" goes really into "Chapter Foo" because you are unaware the there is specific entry for "Chapter Foo.1"
I suggest the following:
On the left side:
A collapsible menu system that works independently from the right side, so you can open/close documentation subtrees by clicking on them and search through the tree completely independently from affecting the right side. However, the current position of the page displayed on the right should be indicated by an arrow or some other mark.
On the right side:
Just display the content at the current position.
1) The left-side should not cover any part of the right-side when activated. The two sides should always be non-overlappinge. If necessary, a scrollbar should appear at the bottom of the left-side. This so that mouse movement does not cause unnecessary flicker of what one is looking at (example: https://eu.swi-prolog.org/pldoc/man?section=standardorder ). Please don't stress my movement detection modules.
2) The left-side should not disappears "up the page" when you scroll down through a long right-side. It should always stay in-page. (example: https://eu.swi-prolog.org/pldoc/doc_for?object=section(%27packages/paxos.html%27). Please don't stress my short-term memory.
3) A smaller right-side should not cause the left-side to be cut down to size and a scrollbar to appear) (example: https://eu.swi-prolog.org/pldoc/doc_for?object=load_files/1 ). This seem to be the solution to the problem that the the left-side has no independently collapsible tree. But it's really jarring as you always ask yourself why the comment system is imposing itself so heavily all of a sudden by moving up the page.
Ceterum censeo, as said elsewhere: The commenting system is less than suitable. It doesn't properly accept source code as it is confused by the equals sign, CTRL-C causes markup to appear, and the size of the window is fixed. I won't bother with using the fancy markup menu at the top, too dangerous. Just pure text would be better.
(I don't even know whether anyone really reads these comments, but I just wanted to say what I wanted to say)
There is no way to check on the left side whether some section has comments on it.
There are no diagrams anywhere. Even Roussel's original Prolog manual printed in courier on fanfold paper had diagrams. Something is wrong!==