tallclair: Automated cherry pick of #78313: Avoid the default server mux

No Results