Since commits 89e9837 and 5b8dae8 the manual no longer depends on evaluation of any packages from nixpkgs, so all errors of the form "Package 'foo' is not supported on 'armv7l-linux'" are gone.
89e9837
5b8dae8