Lower-case sibling of docs/README.txt.
