初心者ですみません
AutoCloseBookMarkFolder_Fx37.uc.jsのスプリクト追加方法について教えてください
Firefox71.0 (64 ビット)にバージョンアップしたため、以前設定した上記スプリクトが無効になりました
改めて設定しようとしたところ、うまく行きません

配布ページからバージョン番号(71)に対応するディレクトリに入り、
必要なファイルをダウンロードするという事だったので、
必要なファイルのコードをテキストファイルにコピペした後、ファイル名を変更して保存しました
ファイルのダウンロードは配布ページにボタンがなかったので、そうしたのですが、
ダウンロードのやり方が間違っていたのでしょうか

そもそも、ダウンロードする必要があるファイル名は
AutoCloseBookMarkFolder_Fx37.uc.js
userChrome.css
userChrome.js
userChrome.xml
の4点で合ってますか?

ご教示いただけると助かります
よろしくお願いします