Add comment to the section for setting ZSH options.
Add option for setting $dev environment variable that were accidentally
deleted previously.