[uncleshelby]

Good catch. I've updated the post.

EDIT re: your edit: Wow. You're noticing things faster than I can update the post!

[skrebbel]

Actually I just noticed that the original map posted in https://news.ycombinator.com/item?id=40652631 also has Porto a bit too far north :-D