Mentioning Corral/Duality in README.