Would you like the Terminal commands to create an ISO from the official installer?