We attempted to! We explore this more in the section Trading speed for ease (C.2.5) in the paper (
https://metr.org/Early_2025_AI_Experienced_OS_Devs_Study.pdf).
TLDR: mixed evidence that developers make it less effortful, from quantitative and qualitative reports. Unclear effect.