This episode is also available as a blog post: http://pbgroupeu.com/2021/07/16/github-issues-accidental-nixos-error/