Installing NixOS on a Raspberry PI 5 (and why you probably shouldn’t)