while the docs said it followed the settings in the Output panel, other file formats work now. Benderplayer still only saves PNG now as documented, but I cleaned up the code there to reuse existing imbuf functions rather than using own libpng code.