Dear forum, is it possible to turn off the colors of the help pages in the terminal (that is, when you type "?" at the "gap>" prompt) ? (GAP 4.5.6 under Windows XP)