Remind me: WSL1 was basically reverse WINE (they intercept Linux syscalls and translate them to Windows syscalls), but WSL2 does some virtualisation stuff instead, right?