Thread:RedstoneDemigod/@comment-25014034-20160909160729/@comment-26547082-20160910193358

Great. I'll ask him in a few days time. He's already got a lot to deal with IRL, and I don't want to bother him in case it's just my browser acting funny.