Rename SICP-2.17-2.23.txt to SICP-2.17-2.23.md