I totally know what you mean, I appreciate the craftsmanship too that went into such gems. It's like knowing you are in "good hands" ;-) Still, I would appreci

I totally know what you mean, I appreciate the craftsmanship too that went into such gems. It's like knowing you are in "good hands" ;-) Still, I would appreciate if the form would give me the option to "mess" with it sometimes, e.g. suppressing some stuff that I may or may not come back to later after a first glance; or generating quick links between passages (for example, a proof uses a previous result, can I quickly link back to it); or when I point at a technical term, can I see the formal definition from the text. etc etc. That would be amazing.