[torben-friis]

I understand that, but I assume both of those are still "shallower" ways of resetting than actually switching computers, which I've done several times (for unrelated reasons ofc) and I've seen no improvement...