doc-encoding.patch
