SearchIndex Manager plugin

Searchindex Manager plugin page This isn't necessarily required but it can be useful to rebuild the tag index should it be corrupted by moving pages or for other reasons. At least it seems to have worked; either it takes longer to fully function than I've given it or the feedback it gives is ambiguous.