Change HTML pages to be HTML 5
Use a subtler indicator of filtering
Use with-open everywhere