Rob Pike: the origin of dotfiles