Oops, I wasn't careful enough here, sorry... Disabling http_xml.ml doesn't disable input.http() (because there is already a plugin mechanism). And for now, playlist() is completely unrelated to all this. So there is no emergency here. However, I maintain that playlist() should eventually benefit from ongoing work, and for that the arch that I describe looks like the good option.
Apologies. -- David
