Fix NixOps manual generation