Behind the Scenes: How VegaDigi's Search and Filter System Actually Helps You Find the Right Source Code