Hello. While updating the debian-ada-policy repository, I have noticed that debian-ada-policy.texi mentions the GPL-2+ while debian/copyright contains a different license. Moreover, this license does not pass the dissident test, and makes the document non-free according to DFSG. Do the two authors agree to relicense the document? under GPL-3+? Is it useful to upload it to the archive?