Comment by dzogchen

11 hours ago

Sorry about that. Noticed the footnote was broken.

Fixed the footnote, broke all other links. Should be OK again when the caches catch up.