Debtor now paid via bailiffs, do I need to do anything in regards to CCJ? (England)

Hi, as title says, I had a CCJ against someone who has now paid following action by HCEO’s.

I’m just curious if the company themselves mark his CCJ as ‘satisfied’, or is this something I need to do myself, ie ring the court to let them know?

I have tried Googling this but unfortunately can’t find a clear answer.

Thanks in advance!