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.
Es gibt eine App, die nach CSV exportiert [1]. Die CSV dann nach txt umbenennen und voilá.
Oder man nimmt die CSV direkt als Datenquelle - sollte in den meisten Programmen funktionieren.