Updated doc on development environment