Hi dokken,
Thank you for your quick response!
I tried that, and get the error
Cannot add PPA: 'ppa:~fenics-packages/ubuntu/fenics'.
ERROR: '~fenics-packages' user or team does not exist
This is how I started, and then following this post I learned that ppa is not the right way to do it with Ubuntu 20.04 (which is the Ubuntu version in WSL). Their suggested solutions are the ones that I explained in my post.