doc: remove Carls substitute server from Guix docs #32498

1. 
   fanquake commented at 2:10 pm on May 14, 2025: member

   This no-longer exists. Use one of the other Guix servers in the example.
2. doc: remove Carls substitute server from Guix docs

   This no-longer exists. Use one of the other Guix servers in the example.

   3b824169c7
3. 
   DrahtBot commented at 2:10 pm on May 14, 2025: contributor

   The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

   Code Coverage & Benchmarks

   For details see: https://corecheck.dev/bitcoin/bitcoin/pulls/32498.

   Reviews

   See the guideline for information on the review process.

   Type	Reviewers
   ACK	achow101, hebasto

   If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.

4. DrahtBot added the label Docs on May 14, 2025
5. 
   achow101 commented at 9:55 pm on May 14, 2025: member

   ACK 3b824169c7766460794bb445028ac55a7111ee3e

   Carl’s substitute server is indeed down, IIRC I ran into this a couple months ago.

   The replacement matches the Guix defaults.

6. hebasto approved
7. 
   hebasto commented at 6:21 am on May 15, 2025: member

   ACK 3b824169c7766460794bb445028ac55a7111ee3e, the listed substitute servers are the same as in https://guix.gnu.org/manual/en/html_node/Official-Substitute-Servers.html.
8. fanquake merged this on May 15, 2025
9. fanquake closed this on May 15, 2025

   ---

10. fanquake deleted the branch on May 15, 2025

Contributors
fanquake DrahtBot achow101 hebasto

Labels
Docs