Looks like @judoku hasn't received any replies!