Added TOC to the documentation about extensions and some minor cosmetic tweaks