Release v1.2.3
Placate IDEs
No need to involve PHP to read an environment variable.
Reload environments after deactivate.
Tweak delete message for consistency.