Re: Releasing the TV before shutting down ?

Russel,

It might be worth trying "vcgencmd display_power 0" at that
point,which I think effectively stops the HDMI output,

...

it's "vcgencmd display_power 1" to get the picture back

:-)  And how would I be able to see what I was typing, with HDMI having been
switched off ?

Yes, I also thought of such a solution.  But :

1) It looks like that shutting- and powering-down the RPi should be "rather
effective" in stopping the HDMI output.  And when I do I get a "no signal"
message on my TV, confirming it.

2) looking at a black screen while trying to figure out if the RPi really
did shut down isn't really a situation I want to find myself in.

Being able to instruct the TV to switch away from the RPi gives the best of
both worlds.  In doubt I than can have the TV switch back to the RPi and
check if it really shut down.

Regards,
Rudy Wieser