Lee Worden - 2014-07-15

A project with no source files and no project-file tags referring to it is in fact useful, but as a sort of file-dump that other projects store things in. In which case you create it by adding it as a prerequisite. So it doesn't change this question, just thought I'd mention that for correctness.

Anyway I don't think the project search bar is useful, and it's bothering me, so I'm going to disappear it.