PS: on a sidenote - I wonder how many of the peripherals in Mr Stallman's recommended laptop still have some firmware that only nobody except the manufacturer knows about it and how to update it. Definitely all HDD and optical drives, all touchpads and mice and probably a lot of other subsystems have such "hidden firmware". What if eventually somebody - maybe even in FOSS community - finds out about a way to flash new random stuff to those controllers' firmware storage? Will the laptop then lose the FSF approval?