devbox-plugins Devbox plugins for isolated local dev environments Plugins Postgresql Elasticsearch OpenSearch