"Today's story comes from "Thor" (obviously not his name and a sign the Regomiser has watched too many movies in lockdown)"
FWIW, Thor is quite a common name in Scandianavia, even (slightly) increasing in popularity.
And no, it's not connected to either paganism or superhero movies. People just like it as a traditional name.