VLC failed on other videos from the same source. Ubuntu's default player worked. I've rarely used it. Some bug in VLC with whatever codec these use, and then

VLC failed on other videos from the same source. Ubuntu's default player worked. I've rarely used it. Some bug in VLC with whatever codec these use, and then some system level bug allowing that to kill the whole machine.