なんとなく、システム直下のライブラリに重いものたくさん入れっぱなしに
するのいやでね。Themes フォルダには Keiさんの JaguarRestore.theme と
何かの Extras.rsrc 一個しかいれないことにしてるんだ。
テーマは別ドライブにおいておいて、パッケージを開いて Extras.rsrc を
drag & drop して入れ替えるだけ。もとが残るからいいよ。
テーマの作者さんには申し訳ないんだけど、トラブル起こらなくて安心。