docs: clean up obsolete extensions
We're a bit random about marking extensions as obsolete or not. This cleans that up.
I guess a question would be if we should just go ahead and delete the obsoleted docs. It's a bit unclear to me why we still keep them around, when they're not wired up. The old docs is still there in the history for old versions where these were wired up...