Reverse mathematics of positive-tree perfectness

Determine whether RCA-zero proves that every positive tree has infinitely many distinct paths implies that the tree has a perfect subtree.

Background

The paper distinguishes principles P-plus, P, and P-minus concerning positive trees, and records several non-implications. The implication from P-minus to P remains open.