Estou tentando reduzir a área de cobertura da minha imagem do docker do Ubuntu. Dado que há muito pouco uso para os arquivos man e os apaguei, confirmei a imagem e tentei usá-la. AFAICT não fez mal. No entanto, achei que valeria a pena perguntar aqui. Estou armazenando problemas feios para o futuro...