FIX. jumps to page top at the end of a merge queue
     (loosing scroll position is annoying on big releases)