2f9ec5838e
These items (notmuch and device tree) are completely different topics, so were obviously merged into a single bullet by mistake.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at https://nixos.org/nixos and in the manual in doc/manual.