Comment 5 for bug 327431

Sure thing. Should I just download and install the image and header debs manually using gdebi, or is there a way to add those as a repository so they can go through apt? Sorry, I don't have much experience installing "debs" not from the repository.