Frontend: Settings window: Append "#<linux distrib>" to all the help links

Signed-off-by: Jerome Flesch <jflesch@gmail.com>