Dive into Systems: A free, online textbook for introducing computer systems

The book is available at: https://diveintosystems.org/

I was interested in the tool(s) they used to generate the Web version of the book. They used a tool named Antora [1], which is designed for AsciiDoc.

[1] https://antora.org/