Get rid of device-specific stuff. That should be kept in local_manifest ...

...to not bloat peoples' hard drives and bandwidth.