On 04/02/2019 21:44, Mandy Chung wrote:
Lance asked me a few days ago about this and given that Zip files can be cp437 or UTF-8 then documenting how to specify the coding when opening the Zip or JAR file seems okay.This looks good.Sherman added a comment on "encoding" which he thinks it may be downloaded as undocumented. You may want to create a JBS issue to revisit that in the future.
-Alan