Thanks for pointing that out, I’ll let Rene know…
I’ll also let him know about the request for the configurations for PIC edge.
The Cisco comment is indeed correct. Even though iBGP is run between PEs in the network, it is still the routes that the PE routers connect to (other AS’s, namely external networks) that are involved in an edge link failing or an external neighbor node failing. You still have to find a route via another PE to the external route.
I hope this has been helpful!