index.html: joseluisrivas.net instead of rivco.net