Digital tools and (developer) productivity