We should ignore (or move and ignore) the example*.html files