Customer has paid invoice twice

I would think you should enter the same invoice again and then create a credit note.
But I'm no expert.

Just refund the amount and offset the incoming payment against the outgoing payment.

We have answered your question in a video: https://vimeo.com/1071782646