Acontece que isso foi causado por um proxy de cache do Squid que não estava passando os cabeçalhos de autenticação corretamente. Isso foi provado executando algo semelhante ao seguinte:
curl -i --user qqq:qqq http://target.server/Docs/dump.php |grep AUTH
onde dump.php contém <php phpinfo();
No caso do servidor atrás do squid, a saída desse comando estava vazia e eu esperaria ver a menção de _SERVER["HTTP_AUTHORIZATION"]