It’s not “on the spot”, but it’s often needed the next day.
But this is all rather besides the point. I do not feel that Dorico should be creating layouts, by default, that have collisions. I know from previous discussions about this issue that the elements on the staff, and how far they extend above and below the staff are not fully taken into account during casting off.
Because of this, any adjustments to staff spacing on a global level that may fix a problem on one page is likely to cause problems on a different page.
–Neil