まとめ

ダウンロードボタンが長い間壊れていました。しかし、以前のようにファイルをダウンロードするための回避策があります。ダウンロードしたいものを見つけたら、アドレスバーをダブルクリックすると、/filesが強調表示されます。/filesを/zipに変更してEnterキーを押すと、すべてのファイルがzipフォルダに表示されるはずです。