Re: A feature to go to last edit locations

[Eli Zaretskii]

> Date: Mon, 13 Feb 2023 21:41:19 +0200
> From: Dmitry Gutov <dgutov@yandex.ru>
> 
> On 13/02/2023 21:24, Jean Louis wrote:
> > But Eli said something important, why go somewhere back randomly, but
> > better going where user marked it to need it.
> 
> Because by the time the user knows they need to go back, they might have 
> missed the opportunity to mark the place.

The important question is: which of these two failures could happen
more frequently?  IME, wading through gobs of places I never wanted to
go back to is no fun.