There is the Tvheadend Addon that includes Tvheadend server that is responsible for recordings, reception, channels ... and there is the pvr.hts addon that connects the Tvh server with Kodi.
Perhaps I must have missed something. From what repository is this pvr.hts addon?
But Tvheadend is working! It's the Chorus2 client that's lost it's websocket connection. Strange, it used to be working with Chorus2 until sunday.
Now I found I just got to click the play buttons at Tvheadend's list of services on the config interface 192.168.178.123:9981 and then VLC player starts and I watch TV. Not that comfortable to manage but better than nothing. I got 38 channels, including some double listings, not that bad
Thanks for your patience!