Ich habe eine ppx Datei die sich leider nicht über meinen Browser (Mozilla Firefox) öffnen lässt. Auch über die Browser Microsoft Edge und Google Chrome hat es nicht funktioniert. Ich habe auch versucht die Datei zuerst herunterzuladen, was aber auch nicht geholfen hat.