In GUIX page it says the following:"A user-land free software distribution for GNU/Linux comes as part of Guix."Is it possible to get any details on this?Thanks, klr.