Add comment to Debian pkg sources. Fixes #9923
Merge pull request #9942 from cachedout/#9923

Add comment to Debian pkg sources.