Minor fixes: update copyright, and silence debugging output from the artificial
synchronization code that was added to HTTS.