Update 2013-11-13-linux_version_numbering.md