Documentation for InstallWithToDo etc.