Seems that nobody that knows comes here.
They are talking about the patched Flash Player because of that reason.
It can be used as a downloader for flash videos.
It is patched to not remove its downloaded temp files
. So they can be renamed and played.
You will find info under patched flash player on the extension page.
Or maybe ask in the thread about it?
Greetings from Germany