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 happene

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.