While I am on the subject, Google Maps seems to be somewhat aware of big awkward train stations which take ages to navigate, and applies a time penalty. That's good (though also a bit inconsistent). However, it seems to assume that metro stations are of zero size; you go in the door, and immediately get on any line. This is very not true in some places.