Hi,
This patch changes the names of the ISO-88xx-x encodings to ISO_88xx_x name, that PostgreSQL actually uses. It's correct in most of the places in the manual, just not this place.
Chris