Update February 2018

Quite a few fixes have been made recently. Most of them related to AI issues and other remarks kindly reported to us by the community.

Hope you will enjoy them ːsteamhappyː