Do they still do formal excommunication for this sort of paperworky purpose?

I know it's pretty trivial to achieve excommunication latae sententiae, but there's no paperwork. Just as good though.