encoding: don't use the decoding API for case insensitive matches to UTF-8 or US-ASCII.