Merge pull request #7119 from per1234/rename-Arduino_Modulino

Update name of "Arduino_Modulino"

Author: MatteoPologruto

registry.txt

@@ -6811,7 +6811,7 @@ https://github.com/AtrivaTECH/AtrivaTECH_PicUNO.git|Contributed|AtrivaTECH PicUN
 https://github.com/ardlib/bosejis_AMV.git|Contributed|bosejis_AMV
 https://github.com/nayooooo/StreamDeviceAT.git|Contributed|StreamDeviceAT
 https://github.com/board707/DMD_STM32.git|Contributed|DMD_STM32
-https://github.com/arduino-libraries/Arduino_Modulino.git|Arduino|Modulino
+https://github.com/arduino-libraries/Arduino_Modulino.git|Arduino|Arduino_Modulino
 https://github.com/GyverLibs/GyverDS18.git|Contributed|GyverDS18
 https://github.com/kalmak07/SensorNorm.git|Contributed|SensorNormalization
 https://github.com/SkHCrusher/TinyButton.git|Contributed|TinyButton