Update and rename 2013-10-18-canonicity.md to 2013-10-20-canonicity.txt