0.11.6dev: merge additional changes just made in TracIni and TracInstall.
Authored by: cboos 2009-11-21
Parent: [r8837]
Child: [r8839]