doc: no character encoding as we cannot enforce it and shall use ASCII only