На самом деле дело лишь в том, что .mp4-файлы, записанные на мой Xiaomi Redmi 7, нельзя загрузить в исходном виде.
Мне достаточно просто обрезать их в встроенном видеоредакторе, даже на несколько миллисекунд в начале, и сохранить.
Это создаёт новый, меньший по размеру видеофайл, после чего я могу загрузить этот новый .mp4 без каких-либо проблем!