Simplify manual generation
Ensure that the manual job gets build with the right revision info
Put the manual in the NixOS channel