Get Victor's name right!

Author: RobertBaruch

00_intro.md

@@ -20,7 +20,7 @@ If you're using Windows, I hope you're using Windows Subsystem for Linux. If not
 
 ### Option 1: Docker (recommended)
 
-Victor Munoz has put together a [docker container](https://github.com/vmunoz82/eda_tools) that has everything you need: Python 3, nMigen, yosys, SymbiYosys, and the Z3, boolector, and yices solvers.
+Victor Muñoz has put together a [docker container](https://github.com/vmunoz82/eda_tools) that has everything you need: Python 3, nMigen, yosys, SymbiYosys, and the Z3, boolector, and yices solvers.
 
 You'll need to get [Docker Desktop](https://www.docker.com/get-started). If you're on Windows, follow the instructions for [Docker/WSL](https://docs.docker.com/docker-for-windows/wsl/) instead.