Ok, I understand, and it follows the procedure used for other peripherals, so that's fine.
I expected, however, to be able to set the GPIOs in the Peripherals tool, but that's not possible because it says: "GPIO initialization has been moved to the Pin tool."
That's why I was confused about how to use this tool.