Plugins copyright: unknown.

The Debian packaging is © 2013 Tilburg University (http://www.tilburguniversity.edu)
and is licensed under the GPL, see '/usr/share/common-licenses/GPL'.
