Remove accent in first name for prettier git log messages...