I couldn't find Luke's random complaint about the main site on sourceforge, but I wanted to comment on problems I'm having with sourceforge's own site that may be related to problems on our main website.
Consider it commented.
Sourceforge problems
Re: Sourceforge problems
Check out the google blurb for the page:
Warning: main(functions.php): failed to open stream: No such file or directory in /home/groups/a/ar/armagetronad/htdocs/includes/header.php on line 3 ...