How do I issue a partial Credit Note for a fully paid invoice?

Currently there is no dedicated function, it is necessary to issue the credit note of the total amount of the invoice as explained in this guide and then change the amount of the generated Credit Note.