Or, (I just figured this out), you could cut and paste the .divx url from the "embed video" box, but that might require lots of tricky scrolling. Probably easier to just find the id and put it in the correct syntax.

Also, I wouldn't know how, but it'd be nice to save a command line scripty thing so you can just create a shortcut, which brings up a text box or terminal where you can just quickly enter the ID, so you don't have to enter the rest of the url every time. Or am I just getting too complicated? I certainly wouldn't know how, anyways.