<html><head></head><body><div style="color:#000; background-color:#fff; font-family:Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div id="yui_3_16_0_ym19_1_1513821567630_40636" dir="ltr">Thank you for the information about gnu.org nameservers being down. I am
so grateful for that advice. Sorry if it's not really a technical
matter but it is so frustrating on forums that give such bad suggests.
You get lost in that maze for hours without someone with real technical
know how helping you.</div></div></body></html>