[Mashiro]

Hmmm, never heard that before. Small size and freeware (i guess), but only support atleast win 7 as stated on that website, does it have option to resize the video resolution or atleast work to play the converted videos to android? Tough that can be a good replacement / alrernatives for my beloved total video converter and format factory

It has/can do all the things you mentioned. However it is a more advanced converter. So you have to adjust all settings yourself. No premade profiles. You have to know your devices and adjust codecs, bitrates and etc accordingly.

Handbrake might be more suitable for you. It allows to do everything, is also advanced but has premade encoding profiles for Android and etc. So you can just open the original file, select a profile and hit encode. No fiddling with encoder settings needed. And even after selecting a profile you can make your own changes if needed.