V4 beta Dec-12-2017 available now

 From:  Michael Gibson
8731.126 In reply to 8731.125 
Hi Marco, well if you had this problem it seems like you'd have noticed it by now. Your combination of driver + system setup probably doesn't expose whatever driver bug is happening here. If you have not seen any intermittent freezing you shouldn't modify these settings.

- Michael