Building a devcontainer: workspace mounts, DNS wildcards and /etc./resolv.conf | Hacker News Reader