Ma znaczenie bo mux3 znajduje się na rożnych kanałach w zależności z jakiego nadajnika korzystasz. Tu masz oficjalną listę emitela.
Jak Ci nie ściąga to żadne listy kanałów Ci nie pomogą. Zresztą możesz ręcznie wyszukiwać po kanale.
edit:
ale jak chcesz to masz... zmień rozszerzenie na...