pgm 22.3, cat: the great option printing mystery solved!