Question regarding terminal cost in discrete time

Hi Hannes,

a similar question has been asked here:

I agree that this is not documented prominently, I tried to address this here:

Best,
Jonathan