After setting this up correctly, still no output on RA6 for the CLKO ( RA6 ) pin.
Ooops, yes, I must set PLLEN = 1 in order to enable the PLL. That bit was missing from my code above, as well as the PLLDIV setting, which must be divide-by-2 in order to get a 4MHz input into the PLL.
RA6 does not seem to be a PPS pin so I am still unclear as to why there is no CLKO output.