I believe oggconvert (http://oggconvert.tristanb.net/) is what you're thinking of. It's pretty
young, ]and didn't produce reasonable transcodings for me, but it certainly looks to be going
the right direction. It hooks into gstreamer, so gets all their codecs & cleverness for free.