The Dodge "onFocus" (really onRaise and onLower) animation currently moves every window that (1) overlaps with the clicked one in the x-y plane, and (2) is contained in the clicked windows [z_now, z_target] interval.

For raising, that makes perfect sense.  Two edge-snapped windows bouncing apart looks a bit silly, but different strokes for horses' courses and all that.

For lowering, not so much.  As an example, create a pile of xterm (10 that overlap in some point).  Lower the top one.  Notice how all the others move away.  Or, lower an 80x24 xterm below a maximized firefox.  Not nice to look at.

I think the right thing to do is have all *lowered* windows move; in the case of raising, that's the same.  For lowering, it means only moving the acted-upon window.