Youtube greasemonkey downloader script

There was a script I use to use but formatted my HDD and lost it.
What is it called? It let’s you download youtube videos in mp4 or 3gp.
It’s an add-on not a program.
Answer #1
i really think searching userscripts dot org may help
but any way i am doing it for you here.
http://userscripts.org/scripts/search?q=youtube+download&x=0&y=0
Answer #2
Have a look at the link
http://userscripts.org/scripts/search?q=youtube+mp4&x=0&y=0
Download from YouTube looks like what you want.
Answer #3
Thanks, found what I am looking for.