I've noticed that my HTC One records in .mp4 and I would like to change the format but haven't been able to find how to do that, through the phone or online.

Suggestions?