I finally discovered the solution to playing streaming media inline with
Midori on Trisquel Mini.
None of the userscripts mentioned above were allowing me to play any video.
Midori plays such things in Trisquel (not MINI) usually, so I figured there
must be a missing plugin in the default Mini software. Finally, I found
something in the Midori FAQ here under "HTML5 Video doesn't play":
http://midori-browser.org/faqs/ . According to this, Midori does use
Gstreamer. I looked in Synaptic on Trisquel Mini and found gstreamer...-pulse
missing; after installing that, videos now play. For some formats I suspect
more missing plugins need to be installed from the repo.
I hope this helps anyone else who finds Trisquel Mini unable to stream
internet media!