I followed the guide from the Arduino website, by placing a 10uF capacitor between GND and Reset. However, now the voltage regulator only provides 4v (Vin=13V). It correctly has 5V when being powered via USB.
What happened? Isn't there a 10k resistor between +5V and Reset that should prevent the chip from being overloaded? Or did the Reset pin sink the entire energy of the capacitor?