10.06.2021 Sticky header, other CSS enhancements.

10.06.2021 Source links.

10.06.2021 Libraries update.

14.05.2021 Substring search additionally to full-text.

14.05.2021 ToC title points to root index file.

14.05.2021 Java 11, Args4j for parsing parameters.

14.05.2021 Draw.IO diagrams.

01.10.2019 Added the chapter "Demo".