>> 'window-restore-killed-buffer-windows' already restores >> point and start of a window, so there is no problem. > > OK. I won't insist. So now here is the final patch: