change github username in docs