An apt holiday to release such a drastic improvement in navigation. Happy Columbus Day, world!