The dockerized development environment