Actually I just noticed that the original map posted in https://news.ycombinator.com/item?id=40652631 https://news.ycombinator.com/item?id=40652631 also has Por

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