Board Thread:General Discussion/@comment-17259909-20190727020628/@comment-17259909-20190728155856

In the meantime, I am fine with the "rank" stuff being lowercase.