That should be deleted, right? Or are there random projects that still have stable/icehouse branches in projects.txt and we care about them? -- Thanks, Matt Riedemann