Just for those who were wondering: the release-critical license bug that was opened on kstars in debian has now been closed, due to a new upload using debian_branch. Thanks again to Jason and others for all their help on this. Ben. :)