Path avoidance in a surface (source code)

= Path avoidance in a surface

A path in a surface can be perturbed inside coordinate discs to avoid finitely many prescribed points.