Portal Done Pro

I’m still not understanding how the drop down list that appears when you do the “startmovie NAME avi” is populated. Where does it get the codecs that are available?

Edit: This one…