@fabpot Ok, maybe (or maybe not =)) add an param to `setEncodingOptions()` that tells it should (or not) reset current encoding options?