Hello, I just found the "Arch Linux GUI (ALG)" project * <https://sourceforge.net/projects/arch-linux-gui/> * <https://archlinuxgui.in/> That claims to install Arch Linux. Since the project gains more track now I wonder, is it allowed to use the Arch Linux trademarks in word and logo form?