Mention sudo normally installed on Debian (and how to check)