Follow-up rename of README.