Messages are moved here (should anyone ever want to see them again) once they are no longer applicable to the current version (e.g. suggestions that have been implemented or bugs that have been fixed).
replace <tab> with a tab key press. It looks like two arrows pointing left and right and is normally left of the Q on a QWERTY keyboard or A on an AZERTY keyboard