8.12.1 Overview

Given a piece of stexi, return an index of a specified variety.

Note that currently, stexi-extract-index doesn’t differentiate between different kinds of index entries. That’s a bug ;)