Documentation Issues

I understand and agree, except the fact is that for updating the microcode, I /did/ have to add the Debian contrib non-free branches, which was my concern exactly.