I tried a straightforward dirty flash using P-TWRP first, which seemed to work fine. However, when I next went into P-TWRP, it DID NOT prompt for a PIN and all of the /data paths remained encrypted. I do not believe that P-TWRP is compatible with Android 10, hence the "upgrade" to LR-TWRP...