Add comments about prop_permuteStg failures