I usually do this:
- convert PAL 25fps to 23.976fps (or 24fps, in those rare cases), tempo and/or pitch (whichever is needed)
- synch PAL video to 23.976fps (24fps) source; audio would follow, of course
Sounds good! Fingers crossed I can sync the audio in sections with pluraleyes once I’ve got the videos decimated to the same 23.976 frame rate.