You're correct. The table of content links didn't work. Fixed now if you want to try again (refresh browser cache first). The anchor part (to link directly to a

You're correct. The table of content links didn't work. Fixed now if you want to try again (refresh browser cache first). The anchor part (to link directly to a header) doesn't seem to work in the frame, but does work if you open in a new tab. Thanks for the bug report!