Re: "Modifying /etc/os-release for re-branding?"