File doc/symbolic.html is shipped without Copyright notice and licensing terms. Is this file generated from other sources? We need this information in order to finalize the Debian package for symbolic. Thanks, -- Rafael