Perhaps it uses the html extension