direnv/direnv: unclutter your .profile

This is a link record from your database.