Board Thread:Off-Topic Discussion/@comment-26199810-20181103131643/@comment-33371592-20190110222308

We should probably get back to the RP before it gets forgotten in time.