Rename spring-docs to spring-docs.txt