Lanzaboote – NixOS Secure Boot - Tech Sentiments