Ceylondoc: shortcuts keys and common browser keyboard actions #1373