Profile: 7e1f3bd7...

As per usual, it's DNS.

I am once again asking unix developers to learn the distinction between a shell RC file and a shell profile. It's a useful distinction, and I will happily acknlowedge that it's a non-obvious one, but _it matters_ - particularly if you might run a shell inside your shell (eg. with find(1) or similar).