Close #17827: Document codecs.encode & codecs.decode