I felt like a hero to present the recording to my wife: 'See - there is at least one benefit of having married a geek!'.
As the episode we were about to miss was correctly recorded and saved as a Matroska video file (mkv), it was time to catch up. In a recent article I described how to record films or series from TV using Tvheadend on Kodi/LibreELEC. Published on August 31st 2020 - Listed in Multimedia Kodi Kodi TV: Matroska video file (mkv) with increasing audio/video sync lag issue (solved!)