You are missing a step. A virgin Arduino install will also need to explicitly go to Boards Manager, and search for stm32, and install the STM32 Package first. Until this, the directories you describe below do not exist and you will be missing the whole thing you want to replace.
Other than that, the board worked, using the Arduino IDE, the install is pretty quick. Thank you for compiling the guide.