Looks like @bitjudge hasn't received any replies yet!