Symptom: after sudo vpnc-disconnect, name resolution is dead until wifi is
toggled off/on. ping 8.8.8.8 works; ping google.com does not.
Status of this document: Option B is verified working on one machine
(Ubuntu-family, systemd-resolved, vpnc-scripts from /usr/share/vpnc-scripts).
Option A is derived from reading vpnc-script source and is the more correct fix,
but was not tested — validate it on one machine before any rollout.