README: an index to the other files