'show ip bgp' musings and a useful script