[galaxy-announce] Release of Galaxy 20.01