Board Thread:General Discussion/@comment-26227993-20181119041120/@comment-37720431-20190119045958

Unnecessary but harmless, I think.