Tino Calancha <tino.calancha@gmail.com> writes:

> In my system, the buttons for Windows and MacOS show the headings 
> 'Windows' and 'OS X' respectively; but the button for GNU/Linux
> doesn't show the heading: the first line shown is
> 'Most GNU/Linux distributions provide ...'

Thanks, I'll fix it.

Cheers,
Nico