All files are copyright by their respective owners.  Different license apply
to various files.
