How to delete per-user profiles

[Jorge]

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