@Alessandro-Cortese That's how it is implemented. It is not the init call, it is the constructor. if you call:
uart2 = UART(2, 115200) # init with given baudrate
the default pins for UART 2 are used. These are P3 and P4, which are then deassigned from UART 1. Putting all settings into the constructor call avoids that pitfall, and it is shorter code.