This can reportedly be used to overlay HTML content on top of the VLC
widget. That being said, overlay is not a portable option *ahem*.