dotfiles will be moved to dotfiles repo.
org-mode repo goes through proxy.
Small changes.