On Wed, Mar 09, 2022, Paolo Bonzini wrote: > On 3/9/22 13:31, Maxim Levitsky wrote: > > Question: is it worth it? Since I am very busy with various things, this > > feature, beeing just small debug help which I used once in a while doesn't > > get much time from me. > > I agree it's not very much worth. I don't have a use case, was just trying to find the bottom of my inbox and came across this thread.