And it "does" work with a 4MHz TTL clock input with HSPLL set. Just tested it. __CONFIG _CONFIG1H,_OSCS_OFF_1H & _HSPLL_OSC_1H

You just can't use the OSC2 pin for I/O or clock/4 output without using EC or ECIO mode.