add COPYING.html