[galaxy-dev] December 2017 News of the Galaxy