some additional documentation for prg_return_true/false

(still to be fine-tuned)