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