#904729 Policy 12.5: Must the license grant be included in debian/copyright?