{
  users.users.hertog = {
    initialPassword = "";
    isNormalUser = true;
    description = "Johannes Hendrik Gerard van der Weide";
    extraGroups = [ "networkmanager" "wheel" "sudo" "adm" "video" "audio" ];
    openssh.authorizedKeys.keys = [
      "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIEjpvCSpIUMsZ8pmz2LbvsJUdYroenTp6PYXw9ACiYBq hertog@fsfe.org"
    ];
  };
}