For people that would like to follow along from home, here's the Firefox bug for switching to the dav1d decoder:

https://bugzilla.mozilla.org/show_bug.cgi?id=dav1d