Thread:RedstoneDemigod/@comment-29060859-20171016150648/@comment-26547082-20171016213327

It took a while to find the page, but it can be edited through MediaWiki:Welcome-user-page. Unfortunately, it can only be edited by admins. I'll ask Pigman.