tvl-depot/users/wpcarro/website/goals/shell.nix