A 25-year-old video patent just expired, ending a legal headache for Linux