Add comment to Debian pkg sources. 

Fixes #9923