[Doc, Log, Info, Help,...] Documentaion of Proofs Content

RightClick (except on links): this draggable popup. Help

Ctrl+RightClick: default RightClick.

Ctrl+LeftClick: open a link in a new tab/window.