Update and rename LanguageSpecification.txt to LanguageSpecification.md