Hi Steve,
I will generates a new index with redirects, I will give you the size before/after this evening.
Redirects should be indicated with what they redirect to, like:
... Top-rope climbing -> top roping Top roping ...
Or something - but maybe with the proviso that it doesn't show a redirect if the actual target is currently being displayed.
I updated the analyzer to add the redirects. I've done it on French wikipedia. The automaton size is now 42M instead of 32M. I will do the same on english tomorrow and give you the new automaton size.
Best Regards. Julien Lemoine