Why Brits should use form EX23 and not EX17 for TIE renewals in Spain

If you're a UK national living in Spain who needs to renew their Withdrawal Agreement TIE residency card, here's why you need to use form EX23 instead of EX17 for the process.