Generated HTML: Updated ssh instructions for using different usernames at home and at school