Revert "Revert "Add Javier Baez to Name""

This reverts commit b102956d8e8b62833b5b7b5e53785298bac4ae3b.