Interesting to see the tools used to make the book. It wouldn't come to my mind using anything but LaTeX.