A repo to store some HTML files