Add comments for shortcuts and extract them for the manual (#2073).