In what I hope to be a one-off type of thing, Google Maps had a bit of a problem earlier.