Browser JavaScriptって、

なんでUser JavaScript FileをOpera Directoryとは別にしていても、Opera Directoryにダウンロードされるんだろう。

UserJSの紹介をするときは、たいてい「User JavaScript Fileはどこでもいいですよ」っていうのだけど、本当はOpera Directoryのほうがいいのよね。