[galaxy-announce] Release of Galaxy 18.01