Add yet another alternative name to README.