In issue749 we introduced the possibility to use sections in the wiki
documentation pages to group similar plugins. So far, this has only been used
for grouping together all PDB heuristics. In this issue, we want to check what
other plugins can be grouped (and do so).
In issue749 Malte made the following comment, which might be useful in this
endeavor:
"The explicit sections would also make it easier to add additional functionality
like section descriptions, explicitly influencing the order in which sections
appear, or documentation pages that speak about several different plug-in types
that are related. (Silvan thought of merge strategies and shrink strategies.)"
|