Issue #3068: Document the new Configure Extensions dialog and menu entry.