exported HTML page as PDF. Is it okay?