Document html10n.index()