Stephen just informed me that he’s been unable to comment here for a while. I was unaware if this issue, but it’s fixed now. Sorry about that!