Tweaks to ProggyTinyGIM
dotfile modifications