dev.sh - a simple project collection search tool