Hi Raghav,

I find the idea very attractive.  At first, I thought that GRUB menu
entries would be limiting, but then I realized that GRUB supports
submenus!

So all we need is one submenu per profile, right?

Cheers!

-- 
Pierre Neidhardt
https://ambrevar.xyz/