Board Thread:General Discussion/@comment-17114085-20160115154408/@comment-25038310-20160115190741

The name change is fine, I suppose, just like the new tools. I hope I'll get some time in the near future to check them out, all though for the good of the wiki I hope we won't have to use them all too often.