I tried adding "chinook diablo" to the blank Extras' distribution entry and up came half a dozen "updates" to other apps/utils I've already installed, besides the kmplayer 0.8.7-6 I was after.

I sense trouble that shouldn't be necessary...

Anyhow the latest WorldTV update seems to work fine with the previous version of kmplayer.