Small texto to explain the Ctrl-space function
Merge branch 'autocompletion-extra-doc' into develop