2024-02-03 Nix team meeting #127

(editor’s note: Most of the notes of this meeting have been posted directly as comments on the relevant PRs and not tracked here, hence the very short notes)