Hi Andrzej! thank you for the information. In addition to this, could I provide a few feedback regarding the new proof view. 1. There is no way to exist out of proof when I am in "open Proof" view. It's confusing for the reviewer. I know I could click on any tab to get out but it's not intuitive eno...