|
Roberto Ierusalimschy wrote:
Probably some temporary server problem. Can you try again?
This time I twice got a similar wait followed by a 404 ("Not found") from the server, but after a traceroute it started working fine.
Maybe some memoizing... er, caching :-) in the server having hiccups? Sorry for the noise. Enrico