A while ago, I saw a screenshot of someone's desktop and it had an ASCII art AVI player.<P>What program was used to do this? I know about aalib but I can't find any links to an AVI player from that ...