Copyright for tree-puzzle source package in Disco