NixOS moderation team resigns over NixOS Steering Committee’s interference