No flake.lock is added because the only input (nixpkgs) will almost always be overridden, and currently Home Manager's testing and verification is not flake based. PR #1455