re: #479 ggt

I didn’t understand a bit of that either.

Kid rigged my machine so that it boots to Linux by default, but it offers a pick-list that lets me divert to Windows. I never do.