@aaribaud@piaille.fr
@davidgerard@circumstances.run ... and if you did not think of writing down the license key, you can still get it from within Linux after installation. Open a terminal (doesn't matter which one), and type this:
sudo strings /sys/firmware/acpi/tables/MSDM
(then press Enter)
It will print a few lines, one of which is the (easily recognizable) license key.
Note: the command may ask you for your Linux user password.
[EDIT] As @becomethewaifu@tech.lgbt aptly notes in https://piaille.fr/@becomethewaifu@tech.lgbt/115876815069947855, this does not always work.
@sabrinaweb71@sociale.network
@aaribaud@piaille.fr @davidgerard@circumstances.run does that mean that I can recover the win11 license key from the used pc I bought, even after installing Debian? That's good to know