Looks like @mlucas hasn't received any replies!