Merge pull request #6463 from per1234/remove-PrettyOTA

Remove "PrettyOTA"

Author: MatteoPologruto

registry.txt

@@ -8011,7 +8011,6 @@ https://github.com/codingABI/KY040.git|Contributed|KY040
 https://github.com/iavorvel/MyButton.git|Contributed|My_Button
 https://github.com/auralius/yapid.git|Contributed|YAPID
 https://github.com/vincentmuriithi/kari.git|Contributed|kari
-https://github.com/LostInCompilation/PrettyOTA.git|Contributed|PrettyOTA
 https://github.com/53175ddd/sound.git|Contributed|Sound Library for Arduino
 https://github.com/brooksbUWO/Debounce.git|Contributed|Debounce
 https://github.com/ChandanETE/CK_MAX.git|Contributed|CK_MAX