It seems as though the story was halfway true. What the court required the Church to do was to record next to the baptizand’s name the fact that he had left the Church. They did not require the church to remove his baptismal record entirely.
So that’s all right then!