Developer productivity is a highly valued research topic for academics and industry professionals alike. Reducing the amount of time spent on tasks like foraging for information, navigating code, and debugging can provide substantial benefits to developers of all skill levels.