Weekly dev/news report #5 (19/11/17)

It’s Sunday, and you know what happens on Sundays (besides boring family dinners): It’s time for the Weekly dev/news report! The previous report is available for more information and discussions. ...