Move PR4517 to README.txt.