So,
I've got this Dell XPS 13 9333 that I've had for literally a decade.
It's got Windows 10 home on it that I've been niggling about switching to Linux.
I've really not had a reason, other than it was getting a bit sluggish.
Well, this morning I got a wild hair to turn on the Group Editor...