hippofish/.devcontainer/Dockerfile