Posted on March 21, 2019March 21, 2019Hello world! Old server seems to have gone away. No better reason to start anew.