In watchfile debian/watch, reading webpage https://github.com/arduino/ctags/releases failed: 500 Server closed connection without sending any data back
Among the 12 debian patches available in version 5.8-arduino11-3 of the package, we noticed the following issues: