MyDashboard and Profile extensions

Greetings,

I've been searching all over for the MyDashboard and Profile extensions 
that bugzilla.mozilla.org is using, but I can't seem to find them. I 
have old bzr links that no longer work 
(http://bzr.mozilla.org/bmo/4.2/files/head:/extensions/MyDashboard/) and 
the extensions directory in Git doesn't seem to include them.

Thanks!
-
To view or change your list settings, click here:
<http://bugzilla.org/cgi-bin/mj_wwwusr?user=gcbd-developers-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org>