added GPLv3 as html to be served by httpd