encodings.html: encoding support is now handled by iconv