use .html extension for HTML files created by listings plugin