It took me a while to figure out what settings to use (size/fps/bitrate/profile) for re-encoding videos so that they would play with the default player on android phones.
I have written a little howto page so that other people don't have to do the same research.
Here it is.
I have written a little howto page so that other people don't have to do the same research.
Here it is.