homepage

Python is programming language, I don't understand what you mean saying "available to nonprogrammers". As a programmer you can recode ZipInfo name before outputting or what you want to do with it:
 filename = filename.encode('cp437').decode(encoding)
In command line you can can use iconv or other converters:
 python3 -m zipfile -l myzip.zip | iconv -t cp437 | iconv -f "$encoding"
This is not very handy, but works in most cases.