Rename files. Clean up the doc.