Don’t document removed add-ons.
A bit of copy-editing.