[testcock1]

The only time I've ever been remotely satisfied with the download manager in Firefox was when I completely replaced it with an add-on, so I'm looking forward to this change.