My "HTML5 Audio" option under settings has been grayed out fo some time...