Function
Reports spacing violations (either minimal or optimal) that were repaired using a polygonal shave (due to area density).
Activation
After ERF variable do_poly_shave is set to Y.