¡Ayuda! En busca del codec perdido: FFmpeg I263 decoder

Hola. Estoy buscando un codec llamado, exactamente,
FFmpeg I263 decoder; FFmpeg "para los amigos". En todo
Internet se habla de él (parece que es antiguo a estas
alturas), pero no he conseguido descargármelo ni siquiera
de la que, en teoría, es su página principal
(http://ffmpeg.sourceforge.net).

¿Alguien de por aquí sabe de dónde podría descargarlo?
Llevo mucho tiempo buscándolo sin éxito.

Gracias. :)