Update HTML; ignore git-related URIs during clean