Good catch. I've updated the post.
EDIT re: your edit: Wow. You're noticing things faster than I can update the post!
Actually I just noticed that the original map posted in https://www.hackerneue.com/item?id=40652631 also has Porto a bit too far north :-D
EDIT: also, the North Sea and Barentz Sea named are swapped, I think. I’m not 100% that’s where the Barentz Sea precisely is and cant be bothered to check
EDIT 2: Porto is actually a bit further south