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".