da0e3586

By: Michael Lynch <git@mtlynch.io>

Comment individual dev-script shell options

Split batched set options in dev-scripts so each shell behavior has its own command and explanatory comment. Also document trace toggles around production secret sourcing.