* If you are going to update `docmaker', please add the time zone to
the `generated on' entry – otherwise the specification of a time is
completely useless :-)
I will change the time to UTC+00:00. After this change, the text would
look like:
"generated on Fri Jun 8 12:49:36 2018 UTC"
Or would you prefer to have the timezone of the computer it was
generated on, with the offset specified?
* If I go to
Docs » Core API » Basic Data Types
then clicking on the right panel, then pressing the PgDn key, the
right panel scrolls down, but as soon as it reaches the bottom, the
main panel starts scrolling down! Ditto for scrolling up.
I think I don't like this behaviour – scrolling should be restricted
to a selected column...
I believe this is a browser-specific implementation issue. I will
look at tweaking this with some _javascript_, though.