Some agenda tweaks and a hotkey.