RK-A

In a token file, some documents may contain a line "$%^definitions:<defString1>#$<defString2>#$..." under the "$%^subsections:<subheader1>#$<subheader2>#$..." line.

In such cases, please add a line "$%^definitions-proc:<defString1Proc>#$<defString2Proc>#$ ..." line under the "$%^subsections-proc:<subheader1-proc>#$<subheader2-proc>#$..." line.

Ideally, the processing required is similar to the processing of subsection headers.

------Following is some context behind this feature request-----------

Consider examples 'dictionary' and 'set' in 'Python 3 Library Reference > Built-in Types > Mapping Types — dict' and 'Python 3 Library Reference > Built-in Types > Set Types — set, frozenset' respectively. We will call these defStrings.

- When a document contains defStrings, they are added to the "definitions line"
- This will be used in different kinds of processing which will be elaborated later. One example is that they will be used in backend elastic search.