Got it! Then I'd just drop the quotes from the key names: - `“CTRL” + “F1”` + `Ctrl + F1` On 25/10/2019 16:52, Erik Joelsson wrote: > The HTML is generated from the markup and should not be edited by hand. > > /Erik -- Regards, Alexey