Some media players don't play the resulting files.
The warning should help users to avoid the issues described in ticket #1720.