Stephen Harris wrote:
The first time I installed it took awhile to generate Tex Information. I uninstalled and reinstalled. This time generating Tex Information wasinstantaneous, which indicates some config file was not deleted from the prior installation and was being read again, instead of a regeneration.
I'll add an option to remove the user directory. Joost
