Thank you for your recommendation, but I really don’t want to spend any money at all on it. I’d like it to be a toy to learn a bit about Linux, not a daily driver 😁