centralize keybinding documentation in a Scheme file, tangled from Org file, Org to HTML and publish online all keybindings