IPv6 peering between Internet2 and Hurricane Electric

[Florian Weimer <fw () deneb enyo de>]

It seems to be down, based on
<http://routerproxy.grnoc.iu.edu/internet2/> and trying to get a
traceroute to he.net/2001:470:0:76::2 from the SEAT location.  BGP
seems to be up, though.

Shouldn't this cause quite a few problems for Internet2 downstreams?
(We received a report from an academic site in Brazil that some
security.debian.org IPv6 instances are inaccessible, that's why I
looked.)

What's the best way to help the SPs involved to get this resolved?