If the EDITOR line in /etc/env.d/00basic is changed, env-update fails to update the corresponding line in /etc/csh.env and /etc/profile.env.
Ummm... Yes it does. You shouldn't be changing 00basic anyway. User changes go in /etc/profile.