TVHeadEnd - BBC 4 has vanished