Mac: add Terminal.app preferences