Board Thread:General Discussion/@comment-252417-20180925201147/@comment-252417-20181001185134

Okay, thank you, Dr. Dementor, for you opinion. Since you agree and Yellowlightning doesn't seem to mind either way, I will go ahead (with both changes I've mentioned) at some point.