tecgraf outage over weekend

[nop@...]

tecgraf was unreachable for me over this weekend.  Traceroutes made it to
puc-rio, but died somewhere in the interior.

There have been outages on weekends before, and I wonder if this is the
cause of the perceived lua-l slowness.

Jay