Dev Tools configuration options added to docs.