Hello everyone,When I add a comment to a proof on the desktop application, I can use Ctrl + N as a keyboard shortcut but it doesn't work as I expect on interactive proofs.For example, I create a proof for Google like the screenshot I attached, and open it using the desktop application.If I want to a...