Fun skimming through this. I wondered how it would deal with book nicknames and chuckled when I found this entry https://hackerbooks.org/#/book/OL15190817W
Good catch :) link now redirects to the actual dragon book
Good catch :) link now redirects to the actual dragon book