Added HTML preprocessing in the KHR extension specs