Error: you are not allowed to change docs/pinmux/gpio_block.png