Thanks for pointing out the weakness in the reference.
The CtrPV[] and TImerPV[] are also mentioned in the description on system variables in the chapter TBASIC Statement, Functions and Variables but I agree it could have been more clearly stated in the ladder logic descriptions on timers and counters.