PDF index #4
Description
We should make the pdf index more useful by including lower level sections. Now it contains only first level titles and it is a little confusing.
{{ message }}
We should make the pdf index more useful by including lower level sections. Now it contains only first level titles and it is a little confusing.