Since the username on this throwaway account contained the original name of the OP, and we've randomized their account by request, I've updated the username here too.

Normally we never rename accounts without permission (or edit posts without permission) but redacting someone else's personal name or identifying info is an exception (probably the only exception, actually). When we do that, we always make the minimal possible edit.