Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
wenn man Rechtsklick auf eine bat oder cmd macht gibt es als option normaler Weise standardmäßig "bearbeiten", dann öffnet er die Datei im Editor und man kann sie ganz bequem als txt speichern