I guess you're going to have to message theymos again. He's a busy man, but should eventually get around to sorting it out.

Or unless he sees this post.