VLC is know to have a bug and not close properly But it is not a major problem if VLC is set to use PulseAudio and share audio streams
you are correct - those commands usually make things worse