different extension for plain html