This page is only relevant for documentation contributors:
It lists all the link targets in this manual. The link targets can
be used for linking from this manual or from other manuals with the
You can use this construct to link to the section “Extension Manager”.