OK! I will pull it into https://salsa.debian.org/games-team/godot once visible in the archives. To fix the other pending issues I am waiting and hoping for Travis to have time to return to this topic.