Fixed IDs for copyrighted and public domain
Merge origin/master
Removed unused variable
Just in case we need it, not working with PHP yet
Make tidy aware of all HTML5 tags (W3C and WHATWG)
Merge origin/master