AC-3 decoder is no longer GPL; update FAQ