Does anyone experience the problem I see here? the shortcut CMD+OPT+B, which should toggle bookmark visibility in the gutter, does not work, and instead an html window briefly appears and then disappears. Piero