Robert Collins wrote: > * Toggling from All Default to All Install takes *way* too long. > > This takes under 1/10th of a second on my PC. > > I need a testcase, or more info. I can no longer reproduce. Suggest deleting from TODO, on the assumption it has been fixed by coincidental changes to setup. Max.