More additions to ProggyTinyGIM.