I changed "deprecated" to "obsolete and has been removed" in the man page. Are we in agreement that this is okay to commit for 9.12?