encodings.html: Regenerate from newest check-in