Thank you very much for being so responsive and quick, Andrius! I deeply appreciate that :) The change will save my team a lot of hassle. One more thing though, while completely optional, would still be very nice - we use an OS release which has 4.8 version frozen in the repos (Ubuntu 20.04). If you can somehow affect that release to update (maybe by pushing the change to the 4.8 release branch), that would be very helpful. Either way, thanks a lot!
Have a nice day Pavel