Bug server dead - did anyone keep a copy of the HTTP-Digest auth patch?