HTML to INI converter, for use with the extra_videos.ini file