Re: not about downloading videos in Guix

[Tobias Geerinckx-Rice]

Yep.  Their mark is simply GUIX, though.

(To forestall another common objection: trademark registrations are not 
case-sensitive, and conventionally rendered as uppercase.)

Kind regards,

T G-R

Sent on the go.  Excuse or enjoy my brevity.