Is the "Delete User References" Cloud Function Code broken?

I opened the source code for the onUserDeleted Cloud Function created by the Delete User References setting, but noticed that something is missing. There is no delete command. I'd expect to see await userRef.delete() or similar in there.

Does this function have a purpose that I'm not seeing? It looks like it doesn't make any changes to Firestore (or anything) at all

1