[galaxy-dev] November 2018 Galactic News: Platforms Directory; new events, pubs, blog posts, servers, tools and releases!