Hi! I have removed (via Gnome Settings) user `jorge-morais' from my Gentoo GNU/Linux system, but its Guix profiles remain. How do I remove them, so Guix GC can clean the store? Can I simply remove the directory `/var/guix/profiles/per-user/jorge-morais' ?
/var/guix/profiles/per-user/jorge-morais: drwxr-xr-x 1 1002 1002 192 2023-08-25 15:22 ./ drwxr-xr-x 1 root root 48 2023-07-04 14:16 ../ lrwxrwxrwx 1 1002 1002 19 2023-07-03 12:33 current-guix -> current-guix-3-link/ -rw-r--r-- 1 1002 1002 0 2023-07-03 12:31 current-guix.lock lrwxrwxrwx 1 1002 1002 51 2023-07-03 12:33 current-guix-3-link -> /gnu/store/7aqq65iaffpp10y9zm0mrkcml31632x2-profile/ lrwxrwxrwx 1 1002 1002 19 2023-06-28 13:23 guix-profile -> guix-profile-2-link/ -rw-r--r-- 1 1002 1002 0 2023-07-03 12:34 guix-profile.lock lrwxrwxrwx 1 1002 1002 51 2023-06-28 13:23 guix-profile-2-link -> /gnu/store/3aiqg5x0fyimkb7g47vdcc0p2lvazfg1-profile/ Regards