minor updates (formatting, keybinding, link to devl)