Undoing accidental change to docs/LanguageExtensions.rst in my previous
patch.