I hope there are plans to add bookmarks to the PDF. Much thanks.
Yes, indeed. Soon, hopefully!
Hey! If you hadn't seen, the latest PDF now has bookmarks and links and whatnot.
