HDMI Jetson TK1 audio issue in r21.2

ok, never mind it does work :) must have been some glitch. rebooted, works!

pardon my stupidity, but is there remove post function here? I tried edit, but there’s no trash icon or delete button
for a topic?