Raspberry Pi 3 HDMI audio stuttering

My Raspberry Pi had HDMI audio which stuttered badly on one of my Samsung TVs. It was fine on another Samsung TV. For example, on the site
BBC HMTL5 check
the audio would play for ~6 seconds, go quiet for ~2 seconds, then come back on, go off again.... It got to the point where the audio on the web page would drive me crazy.

Simple fix, in the file /etc/pulse/default.pa change the line

load-module module-udev-detect
to
load-module module-udev-detect tsched=0
and restart the Raspberry Pi.

My Raspberry Pi 3 now has working HDMI audio on both TVs