That’s just my guess: Linux mint may be easier to get into and more popular, however it doesn’t come with pre installed proprietary drivers. Pop OS is based on the same distro so should be similar enough, but it comes with pre packaged drivers

I think the UK is already a bad place the way it is, but sure

Looks like Linux Application Development by Michael K. Johnson and Erik W. Troan (source: Facebook)