As an American, this line short circuited my brain:
Police there still carry guns on the regular
I live in a quiet but growing suburban town that’s closer to rural areas than the nearest city. When I walk my kid to elementary school (how European of us, lol) the police officer working as a crossing guard for the kids still has their gun, taser, bulletproof vest, and all their other gear on.
And it’s not a school-specific thing. You just never see cops without their weapons here. Armed and armored is just part of the uniform, essentially.
If he got the cinnamon version, that is indeed the default Ubuntu based one. I use the same thing.
One of the biggest draws of regular Mint IMO is that it leverages the advantages and resources of Ubuntu but it removes the parts that many people don’t like.