rectification; Abhyankar-Sathaye embedding problem; variable fundamental groups of curves; positive characteristic; quotients of the fundamental group; Abhyankar's conjecture; formal/rigid-analytic patching 