If the proximity pin and control pilot logic works as per the J1772 standard, then charging will stop as the handle is moved and there will be no arc. In that case, there is no need to educate anyone.
Since the J1772 standard is a paid document, here is the text from Wikipedia (which I hope we can trust on this mater):
The J1772 standard includes several levels of shock protection, ensuring the safety of charging even in wet conditions. Physically, the connection pins are isolated on the interior of the connector when mated, ensuring no physical access to those pins. When not mated, J1772 connectors have no power voltages at the pins,[21] and charging power does not flow until commanded by the vehicle.[19]
The power pins are of the first-make, last-break variety. If the plug is in the charging port of the vehicle and charging, and it is removed, the control pilot and proximity detection pin will break first causing the power relay in the charging station to open, cutting all current flow to the J1772 plug. This prevents any arcing on the power pins, prolonging their lifespan. The proximity detection pin is also connected to a switch that is triggered upon pressing the physical disconnect button when removing the connector from the vehicle. This causes the resistance to change on the proximity pin which commands the vehicle's onboard charger to stop drawing current immediately before the connector is pulled out.