Thank you for the bug report. Our web server is heavily trafficked; it is
not uncommon for it to run out of swap space or process table entries during
the middle of the day. When this happens, the best thing to do is to try 
to fetch the URL again later.  Thanks.