Hey, I just stumbled upon this:

At some point we agreed to move the manuals to nix.dev

https://github.com/NixOS/nixos-homepage/issues/1251#issuecomment-1994193106

Not sure what is the best place to discuss this. Obviously not the above issue :) So let's go with this matrix channel.

I'd like to voice some concern about that: there's a lot of hyperlinks pointing to the manual on the web. Doing so will break those for little benefit.