Informative e-mail threads are not documentation. I added https://www.mediawiki.org/wiki/Manual:Ajax#Deprecated_functionality
There seems to be no mention of AjaxDispatcher on mediawiki.org , which I guess is good? If it's obsolete someone needs to add a comment to includes/AjaxDispatcher.php.