Nix Workshops Zero-knowledge Nix workshops experiment ToDo Generate book from mdBook Publish book on Github Pages Workshops Nix installation Minimal image Custom image Custom package Package override Development environment