Board Thread:General Discussion/@comment-32173189-20170730193242/@comment-856627-20170810154546

I guess the thread can be closed now that the problem is fixed.