RichFaces has never ever be on SourceForce. You confuse it with something else.
Oh yes, I apologize for that.
This page http://sourceforge.net/project/showfiles.php?group_id=175234
is my source of confusion after googling sometimes ago.
It mentions Rich Client Faces, dynamic web pages, Ajax, etc. Just a small extra word "Client" to distinguish.
Sorry for bothering this list.
a small word, but a huge distinguish in used approaches