Improve mentions of 3rd party extensions

Add more extensions, and mention all extensions in an appropriate
context throughout the manual.