Also renames "stmhal" to "stm32" in documentation and everywhere else.
It contains detailed information about writing scripts to run efficiently on microcontrollers (and other constrained systems).