Linux Introduction: enhance SSH configuration section

Followup to #1943 : add some more formatting to Linux Introduction as well as a hint on creating a SSH configuration file.

Based on an updated `master` branch now.