docs: simplify prod ferrix config, name the peer pr01.rue.rayhaan.net

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

docs/lab/prod/ferrix.textpb

@@ -1,16 +1,10 @@
-# ferrix_bgp on a laptop, peering with the production router over WireGuard.
-# Counterpart of bird-ferrix.conf.  Run:  cargo run --release -- docs/lab/prod/ferrix.textpb --level info
 router_id: "10.255.0.2"          # must differ from the production router's
-local_asn: 4200000001            # private; stripped by the production router
+local_asn: 4200000001            # private asn used for internal peering.
 
-# IPv6 prefixes are only announced over an IPv6 session, and the next hop is
-# our end of it, so listen and dial on the tunnel's IPv6 address.
-# Port 179 on a specific address needs root on macOS. The listener is unused
-# here anyway: the router is passive and we dial out to its port 179.
 listen_endpoints { address: "2a0d:d747:1::" port: 9179 }
 
 peers {
-    name: "prod"
+    name: "pr01.rue.rayhaan.net"
     endpoint { address: "2a0d:d747:1::1" port: 179 }
     remote_asn: 210036
     hold_time_seconds: 90
@@ -23,5 +17,4 @@ local_route_policy {
     max_routes_per_owner: 1
 }
 
-# No authentication on this API: keep it on loopback or the classroom LAN.
 http_endpoint { address: "127.0.0.1" port: 8080 }