That’s what I thought. Just wanted to make sure (I’ve spent a lot of time modeling analog TV systems).

Maybe some of the later decoder chips in the late 80s and onward operated digitally but haven’t looked into it too much.