What is the purpose of the resistor connecting boot button to ground in the recommended design. Since pb13 should be pulled up by the mcu isn’t the resistor to ground unnecessary and the button can be connected directly to ground when designing a pcb?
