Add a couple of comments to config.nix files