OrangeRed is not recognized by mintty, used hex code instead.
OPTIONS=color,hilite_pet,news
OPTIONS=number_pad
OPTIONS=!autopickup
OPTIONS=name:gavenkoa
OPTIONS=catname:Catty
OPTIONS=dogname:Doggy
OPTIONS=horsename:Loshadka
GL_OPTIONS=windowed,mode:1024x768,depth:32
GL_OPTIONS=altprev,prevstep:3,reformat