A legal name change is quite a chore, not a minor discomfort.