I've finally uploaded TubeStop to Mozilla Add-ons, but it can't be brought out of the sandbox (protected area for untrusted extensions) until it has some reviews and undergoes an editor approval process. If you use TubeStop and find it useful, I'd appreciate it if you'd write a quick review of it over at the Mozilla Addons page for TubeStop so that I can get that process started.