Thanks for releasing the source! I learned a few things from it. In particular I'd never used the <TEXT> highlighting before & I think that'd be really useful in the future. It seems like one more good reason to try the betabeta. (I tried it in classroom and it didn't work.)