> The installation manual isn't itself installed (and if it were, it would > need a more globally meaningful name than install.info). Hmmm... I have a choice between a deprecated manual, and a missing one. What to choose? What to choose? ;-)