rpi - no osd timecode after upgrade

[vlcdiv]

Hi,
I recently upgraded my rpi - now running "bookworm" (stable - 12.7) and vlc 3.0.21-0-gdd8bfdbabe8

Prior to the upgrade, we'd get a brief OSD timecode (offset into program) displayed in top right when jumping forwards or backwards. But since the upgrade, we don't get that. We do get subtitles, and pause/play icons, so the basic mechanism is working.

This is running full-screen with hdmi output, with no keyboard (so can't press keys or use menus to configure anything). Jumping is done by emulating keypresses from the lircd remote control, or from the web interface by piping 'key' commands into stdin. vlc is launched using
vlc -I lua --extraintf lirc -A alsa --alsa-audio-device hw:2 --spdif
(I don't immediately recall how the --extraintf lirc works - it's a very long time since I set it all up)

.config/vlc/vlcrc has

# On Screen Display (boolean)
osd=1

Any suggestions what I've done wrong ?