Another entry in autinfo
Add section for Rigid Tree Automata
Tweaks to prose