Depois de escrever a atualização da minha pergunta, decidi dar mais uma olhada nos "problemas" abertos no github. Acontece que uma solução alternativa foi implementada:
docker run ... --add-host='server:0.0.0.0' ...
Usando o argumento "--add-host ..." ao iniciar um container, é possível modificar o arquivo hosts.