Mozilla könnte doch einfach einen anderen h264 Decoder benutzen, so wie das jeder brauchbare Media Player macht?
Der Windows eigene dürfte eh kaum der Beste sein.
Übrigens wird auch auf allen anderen Windows gekürzt, sie werden kein 8k mehr haben, da nicht unterstützt vom hauseigenen Decoder.
Wegen dem Mehrverbrauch an RAM: Das ist auch bei deaktiviertem e10s der Fall, ich habe das nie aktiviert, da etliche Erweiterungen nicht richtig funktionieren damit, auch solche, die angeblich freigegeben sind dafür.
Und nein, Windows 10 kommt mir ganz bestimmt nicht auf die Platte. :shock: