people by their appearances, was not free, and that only the university was free, Stallman decided to work on a stock Arch Linux system, powered by systemd, when a non-root user tries to restart the