An update from the project team on the pfksh93 issue... Although some ideas on disabling built-ins for pfksh93 has been proposed, the team has agreed to remove pfksh93 from the case, so we can investigate the correct solution carefully in a future case, without impeding this case.
I will remove mention of pfksh93 and the -P and -o profile options from the proposed ksh93.1 and other manpages in the case materials. Thanks, April