Ah, I'd forgotten that. That would invalidate my last point.

IIRC, I moved the refresh button right back to its original location as soon as the change happened, a couple of versions ago.